Trace number 237611

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
galacJ beta 1? (TO) 0.027994 1813.73

General information on the benchmark

Namehaystacks/
haystacks_54.xml
MD5SUM19223f33b07fb306db25b88716a23e2c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2916
Number of constraints77327
Maximum constraint arity2
Maximum domain size54
Number of constraints which are defined in extension0
Number of constraints which are defined in intension77327
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	rm: No match.
0.04	c --- Preproc Stats ---
0.04	c benchs : unknown.xml
69.90	c start processing
69.91	c start relation processing
69.92	c start cnf exporting
89.93	c parsing time : 69.649
89.93	c preprocessing time : 89.678
89.95	
89.95	c Nary constraints - conflicts : 0 supports : 0
89.95	c Binary constraints - conflicts : 77274 supports :53
89.95	c max arity constraint : 2
89.95	c Max Tuples generated 2916
89.95	c relations : 4
89.95	c relations BDD: 0
89.95	c vars : 157465 - clauses :  8359850
89.95	
94.03	c Start Sat4J solver
94.03	
177.59	c cleaning 18844 clauses out of 37702 for limit 6.391437036252867E11
341.69	c cleaning 32719 clauses out of 65456 for limit 6.50718400495693E11
368.96	c cleaning 20761 clauses out of 41538 for limit 6.839669093159133E-5
407.19	c cleaning 15081 clauses out of 30176 for limit 1.1423394253011336
483.95	c cleaning 13695 clauses out of 27400 for limit 279494.7491813244
497.94	c cleaning 8333 clauses out of 16701 for limit 9187112.087753877
531.47	c cleaning 7521 clauses out of 15067 for limit 8.2925686772131E9
589.74	c cleaning 11718 clauses out of 23447 for limit 4.3231499596951497E-4
617.59	c cleaning 9704 clauses out of 19428 for limit 1.1554885258191716
658.39	c cleaning 9658 clauses out of 19324 for limit 17234.938331025543
756.57	c cleaning 14073 clauses out of 28167 for limit 1.2932083494443093E12
778.59	c cleaning 9338 clauses out of 18695 for limit 1.944788135969783E-6
816.47	c cleaning 9720 clauses out of 19455 for limit 0.04563167648675934
875.69	c cleaning 13310 clauses out of 26636 for limit 735380.5624632112
891.18	c cleaning 8104 clauses out of 16225 for limit 2.1950584042126045E7
921.60	c cleaning 7044 clauses out of 14121 for limit 1.0205539703346245E10
994.75	c cleaning 10480 clauses out of 20979 for limit 7.542222306802744E-5
1026.14	c cleaning 8492 clauses out of 16998 for limit 0.06205521812047299
1049.43	c cleaning 6840 clauses out of 13705 for limit 13.974098643371544
1120.72	c cleaning 10218 clauses out of 20466 for limit 7602641.520315246
1134.77	c cleaning 6611 clauses out of 13247 for limit 2.3603736452369887E8
1163.73	c cleaning 6758 clauses out of 13538 for limit 2.3043266772558978E11
1232.31	c cleaning 9536 clauses out of 19078 for limit 3.6073768165297514E-4
1255.54	c cleaning 7210 clauses out of 14443 for limit 0.06421095771779094
1282.17	c cleaning 6459 clauses out of 12935 for limit 21.532093707210816
1336.29	c cleaning 12125 clauses out of 24273 for limit 6.204907056061491E8
1354.55	c cleaning 8813 clauses out of 17649 for limit 2.0959837062042276E11
1392.57	c cleaning 9812 clauses out of 19635 for limit 9.276192388012127E-5
1471.37	c cleaning 14555 clauses out of 29124 for limit 15228.649139424399
1491.72	c cleaning 9822 clauses out of 19670 for limit 3711526.814984515
1525.10	c cleaning 9764 clauses out of 19549 for limit 6.1295859001841606E10
1599.97	c cleaning 14682 clauses out of 29385 for limit 0.13392472335883585
1619.67	c cleaning 9689 clauses out of 19401 for limit 22.309952810022093
1649.68	c cleaning 8987 clauses out of 18011 for limit 97005.90097571461
1715.46	c cleaning 13401 clauses out of 26831 for limit 3.556724942725441E12
1733.76	c cleaning 8803 clauses out of 17623 for limit 3.5934794621486575E-6
1763.62	c cleaning 8853 clauses out of 17721 for limit 0.026344871418417837

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node17/watcher-237611-1168718359 -o ROOT/results/node17/solver-237611-1168718359 -C 1800 -M 900 /tmp/evaluation/237611-1168718359/galacJ.sh /tmp/evaluation/237611-1168718359/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.11 2.05 5/95 9890
/proc/meminfo: memFree=1617448/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=5184 CPUtime=0
/proc/9889/stat : 9889 (galacJ.sh) R 9887 9889 7558 0 -1 4194304 87 0 0 0 0 0 0 0 20 0 1 0 220230780 5308416 60 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482583568 0 0 4096 0 0 0 0 17 1 0 0
/proc/9889/statm: 1296 60 43 79 0 106 0

[startup+0.104401 s]
/proc/loadavg: 2.00 2.11 2.05 5/95 9890
/proc/meminfo: memFree=1617448/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568

[startup+0.516443 s]
/proc/loadavg: 2.00 2.11 2.05 5/95 9890
/proc/meminfo: memFree=1617448/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568

[startup+1.33953 s]
/proc/loadavg: 2.00 2.11 2.05 3/103 9911
/proc/meminfo: memFree=1575208/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862312 CPUtime=1.19
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 12621 0 1 0 109 10 0 0 23 0 8 0 220230784 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074020704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215578 12374 2036 14 0 201483 0
[pid=9904/tid=9905] ppid=9889 vsize=862312 CPUtime=0.07
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 3510 0 0 0 6 1 0 0 16 0 8 0 220230788 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862312 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220230789 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862312 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 220230789 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862312 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220230800 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862312 CPUtime=0.26
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 975 0 0 0 25 1 0 0 16 0 8 0 220230800 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862312 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220230800 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862312 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220230800 883007488 12374 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 909880

[startup+2.9767 s]
/proc/loadavg: 2.00 2.11 2.05 4/103 9911
/proc/meminfo: memFree=1574568/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862400 CPUtime=2.82
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 12785 0 1 0 272 10 0 0 25 0 8 0 220230784 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073867049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215600 12536 2041 14 0 201505 0
[pid=9904/tid=9905] ppid=9889 vsize=862400 CPUtime=0.16
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 3595 0 0 0 15 1 0 0 17 0 8 0 220230788 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220230800 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862400 CPUtime=0.35
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1031 0 0 0 33 2 0 0 15 0 8 0 220230800 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220230800 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220230800 883097600 12536 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 909968

[startup+6.27205 s]
/proc/loadavg: 2.00 2.11 2.05 3/103 9911
/proc/meminfo: memFree=1553960/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862400 CPUtime=6.07
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 19860 0 1 0 593 14 0 0 25 0 8 0 220230784 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073867071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215600 19609 2044 14 0 201505 0
[pid=9904/tid=9905] ppid=9889 vsize=862400 CPUtime=0.17
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 3758 0 0 0 15 2 0 0 16 0 8 0 220230788 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220230800 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862400 CPUtime=0.35
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1032 0 0 0 33 2 0 0 16 0 8 0 220230800 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220230800 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220230800 883097600 19609 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 909968

[startup+12.7597 s]
/proc/loadavg: 2.00 2.11 2.05 3/103 9911
/proc/meminfo: memFree=1545000/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862400 CPUtime=12.51
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 20176 0 1 0 1236 15 0 0 25 0 8 0 220230784 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073516144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215600 19924 2044 14 0 201505 0
[pid=9904/tid=9905] ppid=9889 vsize=862400 CPUtime=0.19
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 4073 0 0 0 17 2 0 0 16 0 8 0 220230788 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220230800 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862400 CPUtime=0.36
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1032 0 0 0 34 2 0 0 16 0 8 0 220230800 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220230800 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220230800 883097600 19924 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 909968

[startup+25.6481 s]
/proc/loadavg: 2.00 2.10 2.05 3/103 9911
/proc/meminfo: memFree=1540776/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862400 CPUtime=25.28
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 21281 0 1 0 2512 16 0 0 25 0 8 0 220230784 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215600 21024 2044 14 0 201505 0
[pid=9904/tid=9905] ppid=9889 vsize=862400 CPUtime=0.26
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 5169 0 0 0 24 2 0 0 16 0 8 0 220230788 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220230800 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862400 CPUtime=0.36
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1036 0 0 0 34 2 0 0 16 0 8 0 220230800 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220230800 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220230800 883097600 21024 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 909968

[startup+51.2918 s]
/proc/loadavg: 2.00 2.09 2.05 3/103 9911
/proc/meminfo: memFree=1536040/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862400 CPUtime=50.68
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 22462 0 1 0 5050 18 0 0 25 0 8 0 220230784 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4073471319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215600 22198 2044 14 0 201505 0
[pid=9904/tid=9905] ppid=9889 vsize=862400 CPUtime=0.42
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 6342 0 0 0 39 3 0 0 17 0 8 0 220230788 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 220230789 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 220230800 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862400 CPUtime=0.37
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1037 0 0 0 35 2 0 0 16 0 8 0 220230800 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 220230800 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862400 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220230800 883097600 22198 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 909968

[startup+102.543 s]
/proc/loadavg: 2.05 2.09 2.05 3/110 9938
/proc/meminfo: memFree=876816/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=101.43
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 177690 0 2 0 10054 89 0 0 25 0 9 0 220230784 883625984 176528 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074468790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9904/statm: 215729 176528 2053 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=14.58

################
# More data... #
################

/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=1530.94
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 198609 0 3 0 152978 116 0 0 25 0 9 0 220230784 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074442328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9904/statm: 215729 184462 2055 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=157.68
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 170025 0 0 0 15691 77 0 0 16 0 9 0 220230788 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862916 CPUtime=0.46
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1087 0 1 0 44 2 0 0 16 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9912] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9912/stat : 9912 (java) S 9889 9889 7558 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 220240187 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.95
Current children cumulated vsize (KiB) 910484

[startup+1604.34 s]
/proc/loadavg: 1.99 2.05 2.06 3/103 10446
/proc/meminfo: memFree=515240/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=1590.93
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 199235 0 3 0 158977 116 0 0 25 0 9 0 220230784 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074442328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9904/statm: 215729 184462 2055 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=163.54
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 170649 0 0 0 16276 78 0 0 16 0 9 0 220230788 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862916 CPUtime=0.46
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1087 0 1 0 44 2 0 0 16 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9912] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9912/stat : 9912 (java) S 9889 9889 7558 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 220240187 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.94
Current children cumulated vsize (KiB) 910484

[startup+1664.37 s]
/proc/loadavg: 2.11 2.07 2.07 3/103 10446
/proc/meminfo: memFree=515112/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=1650.91
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 199853 0 3 0 164974 117 0 0 25 0 9 0 220230784 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074442368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9904/statm: 215729 184462 2055 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=169.7
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 171265 0 0 0 16892 78 0 0 16 0 9 0 220230788 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862916 CPUtime=0.46
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1087 0 1 0 44 2 0 0 16 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9912] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9912/stat : 9912 (java) S 9889 9889 7558 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 220240187 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.92
Current children cumulated vsize (KiB) 910484

[startup+1724.39 s]
/proc/loadavg: 2.04 2.05 2.06 3/103 10446
/proc/meminfo: memFree=515048/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=1710.85
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 200475 0 3 0 170968 117 0 0 25 0 9 0 220230784 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074442346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9904/statm: 215729 184462 2055 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=175.41
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 171885 0 0 0 17462 79 0 0 16 0 9 0 220230788 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862916 CPUtime=0.46
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1087 0 1 0 44 2 0 0 16 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9912] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9912/stat : 9912 (java) S 9889 9889 7558 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 220240187 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1710.86
Current children cumulated vsize (KiB) 910484

[startup+1784.42 s]
/proc/loadavg: 2.01 2.04 2.06 3/103 10446
/proc/meminfo: memFree=514984/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=1770.83
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 201094 0 3 0 176965 118 0 0 25 0 9 0 220230784 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074442351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9904/statm: 215729 184462 2055 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=181.29
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 172502 0 0 0 18050 79 0 0 16 0 9 0 220230788 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862916 CPUtime=0.46
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1087 0 1 0 44 2 0 0 16 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9912] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9912/stat : 9912 (java) S 9889 9889 7558 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 220240187 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.84
Current children cumulated vsize (KiB) 910484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.71 s]
/proc/loadavg: 2.06 2.05 2.06 3/103 10446
/proc/meminfo: memFree=514856/2055920 swapFree=4192812/4192956
[pid=9889] ppid=9887 vsize=47568 CPUtime=0.01
/proc/9889/stat : 9889 (galacJ.sh) S 9887 9889 7558 0 -1 4194304 795 1728 0 0 0 0 0 1 24 0 1 0 220230780 48709632 362 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 245482318682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/9889/statm: 11892 362 245 79 0 217 0
[pid=9904] ppid=9889 vsize=862916 CPUtime=1800.08
/proc/9904/stat : 9904 (java) R 9889 9889 7558 0 -1 0 201403 0 3 0 179890 118 0 0 25 0 9 0 220230784 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4074446652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9904/statm: 215729 184462 2055 14 0 201634 0
[pid=9904/tid=9905] ppid=9889 vsize=862916 CPUtime=184.27
/proc/9904/task/9905/stat : 9905 (java) S 9889 9889 7558 0 -1 64 172810 0 0 0 18348 79 0 0 16 0 9 0 220230788 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9906] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9906/stat : 9906 (java) S 9889 9889 7558 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9907] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9907/stat : 9907 (java) S 9889 9889 7558 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 220230789 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9908] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9908/stat : 9908 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9909] ppid=9889 vsize=862916 CPUtime=0.46
/proc/9904/task/9909/stat : 9909 (java) S 9889 9889 7558 0 -1 64 1087 0 1 0 44 2 0 0 16 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9910] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9910/stat : 9910 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9904/tid=9911] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9911/stat : 9911 (java) S 9889 9889 7558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 220230800 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9904/tid=9912] ppid=9889 vsize=862916 CPUtime=0
/proc/9904/task/9912/stat : 9912 (java) S 9889 9889 7558 0 -1 64 5 0 0 0 0 0 0 0 18 0 9 0 220240187 883625984 184462 18446744073709551615 134512640 134570532 4294956048 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 910484

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.73
CPU time (s): 0.027994
CPU user time (s): 0.006998
CPU system time (s): 0.020996
CPU usage (%): 0.00154345
Max. virtual memory (cumulated for all children) (KiB): 912488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.006998
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 27

runsolver used 2.22466 s user time and 5.8941 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 13 19:59:20 UTC 2007


IDJOB= 237611
IDBENCH= 6952
IDSOLVER= 67
FILE ID= node17/237611-1168718359

PBS_JOBID= 3547395

Free space on /tmp= 66548 MiB

SOLVER NAME= galacJ beta 1
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_54.xml
COMMAND LINE= /tmp/evaluation/237611-1168718359/galacJ.sh /tmp/evaluation/237611-1168718359/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-237611-1168718359 -o ROOT/results/node17/solver-237611-1168718359 -C 1800 -M 900  /tmp/evaluation/237611-1168718359/galacJ.sh /tmp/evaluation/237611-1168718359/unknown.xml

META MD5SUM SOLVER= ffd78bd56f274e94bd0d0faf76d262cb
MD5SUM BENCH=  19223f33b07fb306db25b88716a23e2c

RANDOM SEED= 474169886

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1617928 kB
Buffers:          2524 kB
Cached:          76832 kB
SwapCached:          0 kB
Active:         370416 kB
Inactive:        18828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12864 kB
Writeback:           0 kB
Mapped:         337812 kB
Slab:            32988 kB
Committed_AS:  7677072 kB
PageTables:       2840 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66552 MiB



End job on node17 on Sat Jan 13 20:29:34 UTC 2007