Trace number 234190

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 AC? (TO) 1800.06 1802

General information on the benchmark

Nametaillard/js-taillard-15/
js-taillard-15-100-5.xml
MD5SUM847e36aa8167640179e4e3510a2ed715
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark732.82
SatisfiableYES
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1247
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.28	   configuration
0.28	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/234190-1168081458/unknown.xml
0.34	   
0.34	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.45	     nbVariables=225  nbDomainTypes=225  minDomainSize=1149  maxDomainSize=1247
0.45	       =>  wckTime=0.16  cpuTime=0.13  mem=13M755
0.45	   
0.45	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
4.42	   
4.42	   INFO : Stopping converting binary constraints (cpu=4.05, mem = 31M342)
4.70	     nbConstraints=1785  nbConvertedConstraints=11  nbConvertConstraintsChecks=16099470  nbExtensionStructures=11
4.70	     nbSharedExtensionStructures=0  nbConflictsStructures=11  nbSharedConflictsStructures=0
4.70	     nbSharedBinaryRepresentations=707  nbEvaluationManagers=1774  nbSharedEvaluationManagers=0  maxDegree=16
4.70	     maxArity=2
4.70	       =>  wckTime=4.414  cpuTime=4.26  mem=44M20
4.79	   
4.79	   solver IterativeSystematicSolver being built... 
5.00	       =>  wckTime=4.715  cpuTime=4.42  mem=56M246
54.78	   
54.78	   preprocessing
54.78	     nbConstraintChecks=212859457  nbValidityChecks=4574616  nbPropagations=523  nbRevisions=9522
54.78	     nbUselessRevisions=8735  nbRemovedValues=158914  detectedInconsistency=no
54.78	       =>  wckTime=49.766  cpuTime=49.68  mem=56M246
62.85	   
62.85	   search
62.85	     run=0  nbConstraintChecks=25505904  nbValidityChecks=5944323  nbPropagations=1883  nbRevisions=28451
62.85	     nbUselessRevisions=25814  nbAssignments=67  nbFailedAssignments=25  nbBacktracks=10  nbVisitedNodes=103
62.85	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
62.85	       =>  wckTime=57.834  cpuTime=57.73  mem=58M431
160.37	   
160.37	   search
160.37	     run=1  nbConstraintChecks=363362300  nbValidityChecks=152455029  nbPropagations=57432  nbRevisions=864501
160.37	     nbUselessRevisions=740008  nbAssignments=573  nbFailedAssignments=477  nbBacktracks=25  nbVisitedNodes=1074
160.37	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
160.37	       =>  wckTime=155.352  cpuTime=155.14  mem=59M351
170.55	   
170.55	   search
170.55	     run=2  nbConstraintChecks=400591095  nbValidityChecks=165280312  nbPropagations=116775  nbRevisions=1757749
170.55	     nbUselessRevisions=1505031  nbAssignments=686  nbFailedAssignments=546  nbBacktracks=49  nbVisitedNodes=1267
170.55	     nbRestartNogoods=172  mapSize=42  nbInferences=0  nbTooLargeKeys=0
170.55	       =>  wckTime=165.532  cpuTime=165.31  mem=61M298
197.30	   
197.30	   search
197.30	     run=3  nbConstraintChecks=489093471  nbValidityChecks=207315728  nbPropagations=188334  nbRevisions=2843798
197.30	     nbUselessRevisions=2430418  nbAssignments=1141  nbFailedAssignments=929  nbBacktracks=82  nbVisitedNodes=2124
197.30	     nbRestartNogoods=185  mapSize=66  nbInferences=0  nbTooLargeKeys=0
197.30	       =>  wckTime=192.284  cpuTime=191.97  mem=41M923
215.77	   
215.77	   search
215.77	     run=4  nbConstraintChecks=551988559  nbValidityChecks=241869556  nbPropagations=275697  nbRevisions=4140797
215.77	     nbUselessRevisions=3539377  nbAssignments=1718  nbFailedAssignments=1329  nbBacktracks=132  nbVisitedNodes=3216
215.77	     nbRestartNogoods=317  mapSize=110  nbInferences=83  nbTooLargeKeys=0
215.77	       =>  wckTime=210.752  cpuTime=210.42  mem=46M493
315.80	   
315.80	   search
315.80	     run=5  nbConstraintChecks=870089087  nbValidityChecks=417954410  nbPropagations=412144  nbRevisions=6245809
315.80	     nbUselessRevisions=5289661  nbAssignments=3117  nbFailedAssignments=2629  nbBacktracks=207  nbVisitedNodes=5967
315.80	     nbRestartNogoods=343  mapSize=174  nbInferences=84  nbTooLargeKeys=0
315.80	       =>  wckTime=310.786  cpuTime=310.32  mem=49M532
503.41	   
503.41	   search
503.41	     run=6  nbConstraintChecks=1414118270  nbValidityChecks=856495328  nbPropagations=645976  nbRevisions=9914845
503.41	     nbUselessRevisions=8250086  nbAssignments=6818  nbFailedAssignments=6202  nbBacktracks=320  nbVisitedNodes=13327
503.41	     nbRestartNogoods=387  mapSize=273  nbInferences=84  nbTooLargeKeys=0
503.41	       =>  wckTime=498.398  cpuTime=497.73  mem=53M556
521.30	   
521.30	   search
521.31	     run=7  nbConstraintChecks=1476370717  nbValidityChecks=880356422  nbPropagations=886524  nbRevisions=13678694
521.31	     nbUselessRevisions=11294529  nbAssignments=7174  nbFailedAssignments=6355  nbBacktracks=490  nbVisitedNodes=13936
521.31	     nbRestartNogoods=511  mapSize=398  nbInferences=88  nbTooLargeKeys=0
521.31	       =>  wckTime=516.29  cpuTime=515.61  mem=60M86
540.06	   
540.06	   search
540.06	     run=8  nbConstraintChecks=1532481409  nbValidityChecks=932727511  nbPropagations=1144202  nbRevisions=17665063
540.06	     nbUselessRevisions=14536966  nbAssignments=8377  nbFailedAssignments=7265  nbBacktracks=746  nbVisitedNodes=16182
540.06	     nbRestartNogoods=560  mapSize=588  nbInferences=97  nbTooLargeKeys=0
540.06	       =>  wckTime=535.042  cpuTime=534.34  mem=68M633
722.57	   
722.57	   search
722.57	     run=9  nbConstraintChecks=2131447071  nbValidityChecks=1266300048  nbPropagations=1517570  nbRevisions=23266136
722.57	     nbUselessRevisions=19174230  nbAssignments=14559  nbFailedAssignments=13026  nbBacktracks=1130
722.57	     nbVisitedNodes=28361  nbRestartNogoods=626  mapSize=900  nbInferences=97  nbTooLargeKeys=0
722.57	       =>  wckTime=717.553  cpuTime=716.64  mem=81M499
773.81	   
773.81	   search
773.81	     run=10  nbConstraintChecks=2274357117  nbValidityChecks=1422692213  nbPropagations=1954246  nbRevisions=29900587
773.81	     nbUselessRevisions=24700784  nbAssignments=16890  nbFailedAssignments=14756  nbBacktracks=1706
773.81	     nbVisitedNodes=32872  nbRestartNogoods=648  mapSize=1413  nbInferences=97  nbTooLargeKeys=0
773.81	       =>  wckTime=768.79  cpuTime=767.76  mem=82M904
1387.35	   
1387.35	   search
1387.35	     run=11  nbConstraintChecks=4237267079  nbValidityChecks=2427087937  nbPropagations=2698679  nbRevisions=41688014
1387.35	     nbUselessRevisions=34497522  nbAssignments=23665  nbFailedAssignments=20643  nbBacktracks=2570
1387.35	     nbVisitedNodes=46064  nbRestartNogoods=699  mapSize=2051  nbInferences=97  nbTooLargeKeys=0
1387.35	       =>  wckTime=1382.33  cpuTime=1380.66  mem=109M483
1795.86	   
1795.86	   search
1795.86	     run=12  nbConstraintChecks=5437434946  nbValidityChecks=3134353753  nbPropagations=3833570  nbRevisions=59029790
1795.86	     nbUselessRevisions=48893822  nbAssignments=50192  nbFailedAssignments=45769  nbBacktracks=3867
1795.86	     nbVisitedNodes=98502  nbRestartNogoods=866  mapSize=2881  nbInferences=163  nbTooLargeKeys=0
1795.86	       =>  wckTime=1790.848  cpuTime=1788.68  mem=130M910

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/node62/watcher-234190-1168081458 -o ROOT/results/node62/solver-234190-1168081458 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234190-1168081458/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.61 0.80 0.86 6/80 5834
/proc/meminfo: memFree=1080080/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=9740 CPUtime=0
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 626 0 0 0 0 0 0 0 18 0 1 0 156543547 9973760 402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/5833/statm: 2437 407 328 14 0 1140 0

[startup+0.104767 s]
/proc/loadavg: 1.61 0.80 0.86 6/80 5834
/proc/meminfo: memFree=1080080/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=914988 CPUtime=0.09
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 3092 0 1 0 7 2 0 0 23 0 8 0 156543547 936947712 2838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228747 2839 1459 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512844 s]
/proc/loadavg: 1.61 0.80 0.86 6/80 5834
/proc/meminfo: memFree=1080080/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915328 CPUtime=0.5
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 8167 0 1 0 45 5 0 0 25 0 8 0 156543547 937295872 7906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228832 7906 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33401 s]
/proc/loadavg: 1.64 0.82 0.86 3/87 5841
/proc/meminfo: memFree=1045848/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915632 CPUtime=1.32
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 10896 0 1 0 125 7 0 0 25 0 8 0 156543547 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228908 10635 2167 14 0 215378 0
[pid=5833/tid=5835] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156543550 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 156543551 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156543551 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915632 CPUtime=0.14
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 410 0 0 0 14 0 0 0 16 0 8 0 156543554 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937607168 10635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915632

[startup+2.97733 s]
/proc/loadavg: 1.64 0.82 0.86 3/87 5841
/proc/meminfo: memFree=1044184/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915632 CPUtime=2.96
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 11615 0 1 0 288 8 0 0 25 0 8 0 156543547 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228908 11352 2167 14 0 215378 0
[pid=5833/tid=5835] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156543550 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 156543551 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156543551 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915632 CPUtime=0.15
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 411 0 0 0 15 0 0 0 16 0 8 0 156543554 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915632 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937607168 11352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915632

[startup+6.26898 s]
/proc/loadavg: 1.67 0.84 0.87 3/87 5841
/proc/meminfo: memFree=1014040/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=6.25
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 19156 0 1 0 613 12 0 0 25 0 8 0 156543547 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 18890 2529 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.08
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 3365 0 0 0 7 1 0 0 17 0 8 0 156543550 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.25
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 479 0 0 0 24 1 0 0 16 0 8 0 156543554 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 18890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915736

[startup+12.7453 s]
/proc/loadavg: 1.70 0.86 0.88 3/87 5841
/proc/meminfo: memFree=1014040/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=12.71
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 19159 0 1 0 1259 12 0 0 25 0 8 0 156543547 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 18891 2529 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.08
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 3365 0 0 0 7 1 0 0 17 0 8 0 156543550 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.26
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 482 0 0 0 25 1 0 0 16 0 8 0 156543554 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 18891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915736

[startup+25.6028 s]
/proc/loadavg: 1.74 0.89 0.89 3/87 5841
/proc/meminfo: memFree=1014040/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=25.57
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 19165 0 1 0 2545 12 0 0 25 0 8 0 156543547 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 18895 2529 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.08
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 3365 0 0 0 7 1 0 0 16 0 8 0 156543550 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.26
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 488 0 0 0 25 1 0 0 15 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915736

[startup+51.2058 s]
/proc/loadavg: 1.84 1.00 0.92 3/87 5841
/proc/meminfo: memFree=1014104/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=51.14
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 19165 0 1 0 5102 12 0 0 25 0 8 0 156543547 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 18895 2529 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.08
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 3365 0 0 0 7 1 0 0 16 0 8 0 156543550 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.26
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 488 0 0 0 25 1 0 0 15 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 18895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915736

[startup+102.506 s]
/proc/loadavg: 1.93 1.15 0.97 3/87 5841
/proc/meminfo: memFree=1012248/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=102.38
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 19679 0 1 0 10225 13 0 0 25 0 8 0 156543547 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 19399 2534 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.08
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 3366 0 0 0 7 1 0 0 16 0 8 0 156543550 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.29
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 503 0 0 0 28 1 0 0 16 0 8 0 156543554 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 19399 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915736

[startup+162.549 s]
/proc/loadavg: 2.05 1.32 1.04 3/87 5841
/proc/meminfo: memFree=1011736/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=162.37
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 19832 0 1 0 16224 13 0 0 25 0 8 0 156543547 937713664 19551 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025576 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 915736

[startup+1483.92 s]
/proc/loadavg: 2.00 1.97 1.74 3/87 5899
/proc/meminfo: memFree=936920/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1482.31
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 36364 0 1 0 148208 23 0 0 25 0 8 0 156543547 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028727 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 36068 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.19
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 19191 0 0 0 12 7 0 0 16 0 8 0 156543550 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 915736

[startup+1543.99 s]
/proc/loadavg: 2.00 1.97 1.75 3/87 5899
/proc/meminfo: memFree=936920/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1542.32
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 36364 0 1 0 154209 23 0 0 25 0 8 0 156543547 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 36068 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.19
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 19191 0 0 0 12 7 0 0 16 0 8 0 156543550 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 36068 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 915736

[startup+1604.06 s]
/proc/loadavg: 2.00 1.97 1.76 3/87 5899
/proc/meminfo: memFree=906264/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1602.33
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 44041 0 1 0 160207 26 0 0 25 0 8 0 156543547 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 43744 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.24
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 26863 0 0 0 14 10 0 0 16 0 8 0 156543550 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 915736

[startup+1664.12 s]
/proc/loadavg: 2.07 1.99 1.78 3/87 5899
/proc/meminfo: memFree=906264/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1662.32
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 44041 0 1 0 166206 26 0 0 25 0 8 0 156543547 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038181 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 43744 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.24
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 26863 0 0 0 14 10 0 0 16 0 8 0 156543550 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 915736

[startup+1724.19 s]
/proc/loadavg: 2.02 1.99 1.79 3/87 5899
/proc/meminfo: memFree=906264/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1722.33
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 44041 0 1 0 172206 27 0 0 25 0 8 0 156543547 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 43744 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.24
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 26863 0 0 0 14 10 0 0 16 0 8 0 156543550 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 915736

[startup+1784.26 s]
/proc/loadavg: 2.01 1.99 1.80 3/87 5899
/proc/meminfo: memFree=906264/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1782.34
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 44041 0 1 0 178207 27 0 0 25 0 8 0 156543547 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 43744 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.24
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 26863 0 0 0 14 10 0 0 16 0 8 0 156543550 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 915736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.95 s]
/proc/loadavg: 2.00 1.99 1.81 3/87 5899
/proc/meminfo: memFree=906264/2055920 swapFree=4192812/4192956
[pid=5833] ppid=5831 vsize=915736 CPUtime=1800.01
/proc/5833/stat : 5833 (java) R 5831 5833 5508 0 -1 0 44041 0 1 0 179974 27 0 0 25 0 8 0 156543547 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788591 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5833/statm: 228934 43744 2538 14 0 215404 0
[pid=5833/tid=5835] ppid=5831 vsize=915736 CPUtime=0.24
/proc/5833/task/5835/stat : 5835 (java) S 5831 5833 5508 0 -1 64 26863 0 0 0 14 10 0 0 16 0 8 0 156543550 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5836] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5836/stat : 5836 (java) S 5831 5833 5508 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5837] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5837/stat : 5837 (java) S 5831 5833 5508 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156543551 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5838] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5838/stat : 5838 (java) S 5831 5833 5508 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5839] ppid=5831 vsize=915736 CPUtime=0.34
/proc/5833/task/5839/stat : 5839 (java) S 5831 5833 5508 0 -1 64 529 0 0 0 33 1 0 0 16 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5840] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5840/stat : 5840 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5833/tid=5841] ppid=5831 vsize=915736 CPUtime=0
/proc/5833/task/5841/stat : 5841 (java) S 5831 5833 5508 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156543554 937713664 43744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915736

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

Child status: 143
Real time (s): 1802
CPU time (s): 1800.06
CPU user time (s): 1799.77
CPU system time (s): 0.296954
CPU usage (%): 99.8923
Max. virtual memory (cumulated for all children) (KiB): 915736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44058
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= 38077
involuntary context switches= 53519

runsolver used 2.13967 s user time and 5.59915 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 11:04:18 UTC 2007


IDJOB= 234190
IDBENCH= 6668
FILE ID= node62/234190-1168081458

PBS_JOBID= 3476224

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-100-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234190-1168081458/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-234190-1168081458 -o ROOT/results/node62/solver-234190-1168081458 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234190-1168081458/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  847e36aa8167640179e4e3510a2ed715

RANDOM SEED= 271147781

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.259
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.259
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:       1080496 kB
Buffers:         60152 kB
Cached:         780396 kB
SwapCached:          0 kB
Active:         170480 kB
Inactive:       726248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1080496 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1928 kB
Writeback:           0 kB
Mapped:          76452 kB
Slab:            63980 kB
Committed_AS:  3755616 kB
PageTables:       1976 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= 66549 MiB



End job on node62 on Sat Jan  6 11:34:29 UTC 2007