Trace number 235464

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
Abscon 109 ESAC? (TO) 1800.1 1800.59

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-3.xml
MD5SUM7e3c51f50cd71b0d303f8f9ddad103ec
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.45
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size548
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/235464-1168337891/unknown.xml
0.38	   
0.38	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=100  nbDomainTypes=100  minDomainSize=451  maxDomainSize=548
0.45	       =>  wckTime=0.126  cpuTime=0.1  mem=8M842
0.45	   
0.45	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
60.49	     nbConstraints=900  nbConvertedConstraints=900  nbConvertConstraintsChecks=226086377  nbExtensionStructures=900
60.50	     nbSharedExtensionStructures=0  nbConflictsStructures=900  nbSharedConflictsStructures=0
60.50	     nbSharedBinaryRepresentations=289092  maxDegree=18  maxArity=2
60.50	       =>  wckTime=60.163  cpuTime=59.28  mem=102M122
60.76	   
60.76	   solver IterativeSystematicSolver being built... 
60.91	       =>  wckTime=60.59  cpuTime=59.42  mem=96M40
61.14	   
61.14	   preprocessing
61.14	     nbConstraintChecks=3428423  nbPropagations=1794  nbRevisions=2699  nbUselessRevisions=973  nbSingletonTests=108
61.14	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
61.14	       =>  wckTime=0.224  cpuTime=0.22  mem=96M40
62.07	   
62.07	   search
62.07	     run=0  nbConstraintChecks=22667046  nbPropagations=7349  nbRevisions=22574  nbUselessRevisions=9976
62.07	     nbAssignments=426  nbFailedAssignments=412  nbBacktracks=10  nbVisitedNodes=849  nbRestartNogoods=0  mapSize=10
62.07	     nbInferences=0  nbTooLargeKeys=0
62.07	       =>  wckTime=1.153  cpuTime=1.14  mem=96M993
63.33	   
63.33	   search
63.33	     run=1  nbConstraintChecks=66588081  nbPropagations=17958  nbRevisions=70346  nbUselessRevisions=29149
63.33	     nbAssignments=1323  nbFailedAssignments=1289  nbBacktracks=25  nbVisitedNodes=2638  nbRestartNogoods=10  mapSize=25
63.33	     nbInferences=0  nbTooLargeKeys=0
63.33	       =>  wckTime=2.414  cpuTime=2.39  mem=96M993
64.40	   
64.40	   search
64.40	     run=2  nbConstraintChecks=89960402  nbPropagations=37180  nbRevisions=133107  nbUselessRevisions=51128
64.40	     nbAssignments=1939  nbFailedAssignments=1394  nbBacktracks=47  nbVisitedNodes=2893  nbRestartNogoods=143
64.40	     mapSize=44  nbInferences=0  nbTooLargeKeys=0
64.40	       =>  wckTime=3.483  cpuTime=3.45  mem=96M993
64.78	   
64.78	   search
64.78	     run=3  nbConstraintChecks=99533767  nbPropagations=59050  nbRevisions=205518  nbUselessRevisions=76838
64.78	     nbAssignments=2212  nbFailedAssignments=1596  nbBacktracks=81  nbVisitedNodes=3359  nbRestartNogoods=157
64.78	     mapSize=74  nbInferences=0  nbTooLargeKeys=0
64.78	       =>  wckTime=3.863  cpuTime=3.82  mem=96M993
66.92	   
66.92	   search
66.92	     run=4  nbConstraintChecks=158272971  nbPropagations=93159  nbRevisions=322209  nbUselessRevisions=120442
66.92	     nbAssignments=3116  nbFailedAssignments=2181  nbBacktracks=131  nbVisitedNodes=4625  nbRestartNogoods=217
66.92	     mapSize=120  nbInferences=0  nbTooLargeKeys=0
66.92	       =>  wckTime=5.999  cpuTime=5.95  mem=96M993
68.16	   
68.16	   search
68.16	     run=5  nbConstraintChecks=204156821  nbPropagations=133130  nbRevisions=472974  nbUselessRevisions=178484
68.16	     nbAssignments=4140  nbFailedAssignments=3110  nbBacktracks=206  nbVisitedNodes=6626  nbRestartNogoods=234
68.16	     mapSize=191  nbInferences=0  nbTooLargeKeys=0
68.16	       =>  wckTime=7.241  cpuTime=7.19  mem=97M946
76.10	   
76.10	   search
76.10	     run=6  nbConstraintChecks=516273708  nbPropagations=217750  nbRevisions=808311  nbUselessRevisions=308214
76.10	     nbAssignments=7846  nbFailedAssignments=6344  nbBacktracks=319  nbVisitedNodes=13315  nbRestartNogoods=371
76.10	     mapSize=304  nbInferences=0  nbTooLargeKeys=0
76.10	       =>  wckTime=15.179  cpuTime=15.12  mem=97M946
80.43	   
80.43	   search
80.43	     run=7  nbConstraintChecks=680700906  nbPropagations=318608  nbRevisions=1253355  nbUselessRevisions=484830
80.43	     nbAssignments=11368  nbFailedAssignments=9691  nbBacktracks=489  nbVisitedNodes=20338  nbRestartNogoods=432
80.43	     mapSize=470  nbInferences=0  nbTooLargeKeys=0
80.43	       =>  wckTime=19.512  cpuTime=19.45  mem=98M899
88.19	   
88.19	   search
88.19	     run=8  nbConstraintChecks=940698239  nbPropagations=454148  nbRevisions=1868437  nbUselessRevisions=734260
88.19	     nbAssignments=17038  nbFailedAssignments=14374  nbBacktracks=745  nbVisitedNodes=30198  nbRestartNogoods=551
88.19	     mapSize=723  nbInferences=0  nbTooLargeKeys=0
88.19	       =>  wckTime=27.274  cpuTime=27.21  mem=99M852
102.14	   
102.14	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=100M805)
105.33	   
105.33	   search
105.33	     run=9  nbConstraintChecks=1602975009  nbPropagations=653534  nbRevisions=2937910  nbUselessRevisions=1187303
105.33	     nbAssignments=31376  nbFailedAssignments=28067  nbBacktracks=1129  nbVisitedNodes=58354  nbRestartNogoods=681
105.33	       =>  wckTime=44.412  cpuTime=44.34  mem=100M805
118.55	   
118.55	   search
118.55	     run=10  nbConstraintChecks=1976088692  nbPropagations=946646  nbRevisions=4436727  nbUselessRevisions=1827947
118.55	     nbAssignments=42097  nbFailedAssignments=37949  nbBacktracks=1705  nbVisitedNodes=79221  nbRestartNogoods=896
118.55	       =>  wckTime=57.627  cpuTime=57.55  mem=100M805
148.56	   
148.56	   search
148.56	     run=11  nbConstraintChecks=3079977841  nbPropagations=1388982  nbRevisions=6693224  nbUselessRevisions=2797469
148.56	     nbAssignments=65258  nbFailedAssignments=60241  nbBacktracks=2569  nbVisitedNodes=125498  nbRestartNogoods=965
148.56	       =>  wckTime=87.646  cpuTime=87.56  mem=100M805
178.07	   
178.07	   search
178.07	     run=12  nbConstraintChecks=3934312321  nbPropagations=2007442  nbRevisions=9885214  nbUselessRevisions=4190030
178.07	     nbAssignments=91532  nbFailedAssignments=84590  nbBacktracks=3866  nbVisitedNodes=176728  nbRestartNogoods=1236
178.07	       =>  wckTime=117.153  cpuTime=117.06  mem=100M805
249.07	   
249.07	   search
249.07	     run=13  nbConstraintChecks=6959722629  nbPropagations=2998057  nbRevisions=14908056  nbUselessRevisions=6393150
249.07	     nbAssignments=141499  nbFailedAssignments=132335  nbBacktracks=5812  nbVisitedNodes=276027  nbRestartNogoods=1363
249.07	       =>  wckTime=188.147  cpuTime=188.03  mem=100M805
338.79	   
338.79	   search
338.79	     run=14  nbConstraintChecks=10590133311  nbPropagations=4488119  nbRevisions=22380113  nbUselessRevisions=9690436
338.79	     nbAssignments=208734  nbFailedAssignments=195821  nbBacktracks=8731  nbVisitedNodes=408734  nbRestartNogoods=1533
338.79	       =>  wckTime=277.87  cpuTime=277.73  mem=100M805
469.93	   
469.93	   search
469.93	     run=15  nbConstraintChecks=14152809604  nbPropagations=6767915  nbRevisions=34324676  nbUselessRevisions=15129952
469.93	     nbAssignments=327635  nbFailedAssignments=309976  nbBacktracks=13109  nbVisitedNodes=645628  nbRestartNogoods=1690
469.93	       =>  wckTime=409.011  cpuTime=408.84  mem=100M805
694.88	   
694.88	   search
694.88	     run=16  nbConstraintChecks=22854704887  nbPropagations=10280501  nbRevisions=52244850  nbUselessRevisions=23253812
694.88	     nbAssignments=488293  nbFailedAssignments=463853  nbBacktracks=19677  nbVisitedNodes=966368  nbRestartNogoods=1900
694.88	       =>  wckTime=633.958  cpuTime=633.73  mem=100M805
1104.14	   
1104.14	   search
1104.14	     run=17  nbConstraintChecks=38996137503  nbPropagations=15861190  nbRevisions=80747944  nbUselessRevisions=36191358
1104.14	     nbAssignments=776503  nbFailedAssignments=742207  nbBacktracks=29529  nbVisitedNodes=1542483  nbRestartNogoods=2122
1104.14	       =>  wckTime=1043.218  cpuTime=1042.89  mem=101M758
1481.12	   
1481.12	   search
1481.12	     run=18  nbConstraintChecks=51331828875  nbPropagations=23721644  nbRevisions=120861908  nbUselessRevisions=54448783
1481.12	     nbAssignments=1076048  nbFailedAssignments=1026410  nbBacktracks=44307  nbVisitedNodes=2140010
1481.12	     nbRestartNogoods=2324
1481.12	       =>  wckTime=1420.206  cpuTime=1419.79  mem=101M758

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/node39/watcher-235464-1168337891 -o ROOT/results/node39/solver-235464-1168337891 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235464-1168337891/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: 1.00 1.01 1.00 3/65 3539
/proc/meminfo: memFree=1009832/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=1784 CPUtime=0
/proc/3538/stat : 3538 (java) D 3536 3538 1781 0 -1 0 192 0 0 0 0 0 0 0 20 0 1 0 182188735 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3538/statm: 446 158 123 14 0 91 0

[startup+0.105213 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 3539
/proc/meminfo: memFree=1009832/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=911488 CPUtime=0.06
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 2635 0 1 0 5 1 0 0 22 0 8 0 182188735 933363712 2382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3538/statm: 227872 2382 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.513252 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 3539
/proc/meminfo: memFree=1009832/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915328 CPUtime=0.47
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 6770 0 1 0 42 5 0 0 16 0 8 0 182188735 937295872 6509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073539135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228832 6509 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33432 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 3546
/proc/meminfo: memFree=986224/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1.29
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 8396 0 1 0 123 6 0 0 17 0 8 0 182188735 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3538/statm: 228862 8134 2167 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 182188739 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182188739 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182188739 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.13
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 358 0 0 0 13 0 0 0 16 0 8 0 182188745 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 8134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448

[startup+2.98147 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 3546
/proc/meminfo: memFree=983536/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=2.93
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 9347 0 1 0 287 6 0 0 17 0 8 0 182188735 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 9084 2167 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182188739 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182188739 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.13
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 359 0 0 0 13 0 0 0 16 0 8 0 182188745 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 9084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448

[startup+6.27777 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=975864/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=6.23
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 11117 0 1 0 615 8 0 0 24 0 8 0 182188735 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753006 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3538/statm: 228862 10854 2167 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182188739 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182188739 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.13
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 360 0 0 0 13 0 0 0 16 0 8 0 182188745 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 10854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915448

[startup+12.7504 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=961528/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=12.69
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 14594 0 1 0 1259 10 0 0 17 0 8 0 182188735 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 14331 2168 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 182188739 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 182188739 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.15
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 372 0 0 0 15 0 0 0 16 0 8 0 182188745 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 14331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915448

[startup+25.5963 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=924216/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=25.52
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 23743 0 1 0 2537 15 0 0 17 0 8 0 182188735 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 23478 2179 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.28
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 7184 0 0 0 25 3 0 0 16 0 8 0 182188739 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.15
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 373 0 0 0 15 0 0 0 16 0 8 0 182188745 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 23478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915448

[startup+51.2737 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=884728/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=51.19
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 33612 0 1 0 5098 21 0 0 17 0 8 0 182188735 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 33344 2179 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.68
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 17045 0 0 0 62 6 0 0 17 0 8 0 182188739 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.16
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 378 0 0 0 16 0 0 0 16 0 8 0 182188745 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 33344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915448

[startup+102.527 s]
/proc/loadavg: 1.08 1.02 1.01 2/72 3546
/proc/meminfo: memFree=861816/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=102.45
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39739 0 1 0 10218 27 0 0 25 0 8 0 182188735 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39461 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.28
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 444 0 0 0 27 1 0 0 16 0 8 0 182188745 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39461 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915448

[startup+162.614 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 3546
/proc/meminfo: memFree=861752/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=162.52
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39742 0 1 0 16225 27 0 0 25 0 8 0 182188735 937418752 39464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.93
Current children cumulated vsize (KiB) 915448

[startup+1484.41 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 3546
/proc/meminfo: memFree=861368/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1483.99
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 148368 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.99
Current children cumulated vsize (KiB) 915448

[startup+1544.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=861304/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1544.07
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 154376 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.07
Current children cumulated vsize (KiB) 915448

[startup+1604.58 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=861304/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1604.13
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 160382 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.13
Current children cumulated vsize (KiB) 915448

[startup+1664.66 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=861304/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1664.2
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 166389 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979263 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.2
Current children cumulated vsize (KiB) 915448

[startup+1724.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=861240/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1724.26
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 172395 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.26
Current children cumulated vsize (KiB) 915448

[startup+1784.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=861240/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1784.33
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 178402 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (KiB) 915448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.52 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 3546
/proc/meminfo: memFree=861240/2055920 swapFree=4187312/4192956
[pid=3538] ppid=3536 vsize=915448 CPUtime=1800.03
/proc/3538/stat : 3538 (java) R 3536 3538 1781 0 -1 0 39744 0 1 0 179972 31 0 0 25 0 8 0 182188735 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073989864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3538/statm: 228862 39465 2546 14 0 215332 0
[pid=3538/tid=3540] ppid=3536 vsize=915448 CPUtime=0.95
/proc/3538/task/3540/stat : 3540 (java) S 3536 3538 1781 0 -1 64 22656 0 0 0 86 9 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3541] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3541/stat : 3541 (java) S 3536 3538 1781 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3542] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3542/stat : 3542 (java) S 3536 3538 1781 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182188739 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3538/tid=3543] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3543/stat : 3543 (java) S 3536 3538 1781 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3544] ppid=3536 vsize=915448 CPUtime=0.3
/proc/3538/task/3544/stat : 3544 (java) S 3536 3538 1781 0 -1 64 448 0 0 0 28 2 0 0 16 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3545] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3545/stat : 3545 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3538/tid=3546] ppid=3536 vsize=915448 CPUtime=0
/proc/3538/task/3546/stat : 3546 (java) S 3536 3538 1781 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 182188745 937418752 39465 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915448

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

Child status: 143
Real time (s): 1800.59
CPU time (s): 1800.1
CPU user time (s): 1799.76
CPU system time (s): 0.336948
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39761
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37527
involuntary context switches= 4863

runsolver used 1.76373 s user time and 4.6253 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue Jan  9 10:18:11 UTC 2007


IDJOB= 235464
IDBENCH= 6771
FILE ID= node39/235464-1168337891

PBS_JOBID= 3503311

Free space on /tmp= 66561 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235464-1168337891/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-235464-1168337891 -o ROOT/results/node39/solver-235464-1168337891 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235464-1168337891/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7e3c51f50cd71b0d303f8f9ddad103ec

RANDOM SEED= 140977416

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:       1010312 kB
Buffers:         13040 kB
Cached:         970048 kB
SwapCached:        940 kB
Active:         405384 kB
Inactive:       588556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1010312 kB
SwapTotal:     4192956 kB
SwapFree:      4187312 kB
Dirty:            1764 kB
Writeback:           0 kB
Mapped:          18568 kB
Slab:            37736 kB
Committed_AS:  3771684 kB
PageTables:       1412 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= 66561 MiB



End job on node39 on Tue Jan  9 10:48:12 UTC 2007