Trace number 235325

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.17 1806.85

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-7.xml
MD5SUM1ac4899202187205cc402a22c67930db
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 benchmark23.26
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size565
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/235325-1168082818/unknown.xml
0.37	   
0.37	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.44	     nbVariables=100  nbDomainTypes=100  minDomainSize=469  maxDomainSize=565
0.44	       =>  wckTime=0.132  cpuTime=0.12  mem=8M839
0.44	   
0.44	   predicates being loaded...
0.45	   
0.45	   constraints being loaded...
4.48	   
4.48	   INFO : Stopping converting binary constraints (cpu=4.07, mem = 21M781)
4.67	     nbConstraints=900  nbConvertedConstraints=53  nbConvertConstraintsChecks=14295229  nbExtensionStructures=53
4.67	     nbSharedExtensionStructures=0  nbConflictsStructures=53  nbSharedConflictsStructures=0
4.67	     nbSharedBinaryRepresentations=16858  nbEvaluationManagers=847  nbSharedEvaluationManagers=0  maxDegree=18
4.67	     maxArity=2
4.67	       =>  wckTime=4.354  cpuTime=4.17  mem=28M607
4.74	   
4.74	   solver IterativeSystematicSolver being built... 
4.93	       =>  wckTime=4.614  cpuTime=4.33  mem=27M580
7.91	   
7.91	   preprocessing
7.91	     nbConstraintChecks=7589385  nbValidityChecks=56661  nbPropagations=100  nbRevisions=1694  nbUselessRevisions=1694
7.91	     nbRemovedValues=0  detectedInconsistency=no
7.91	       =>  wckTime=2.975  cpuTime=2.92  mem=27M580
15.45	   
15.45	   search
15.45	     run=0  nbConstraintChecks=18598097  nbValidityChecks=8683681  nbPropagations=2767  nbRevisions=38402
15.45	     nbUselessRevisions=27319  nbAssignments=334  nbFailedAssignments=294  nbBacktracks=10  nbVisitedNodes=639
15.45	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
15.45	       =>  wckTime=10.513  cpuTime=10.37  mem=28M556
43.63	   
43.63	   search
43.63	     run=1  nbConstraintChecks=85623758  nbValidityChecks=112565325  nbPropagations=20193  nbRevisions=317532
43.63	     nbUselessRevisions=254027  nbAssignments=1597  nbFailedAssignments=1538  nbBacktracks=25  nbVisitedNodes=3161
43.63	     nbRestartNogoods=173  mapSize=25  nbInferences=0  nbTooLargeKeys=0
43.63	       =>  wckTime=38.696  cpuTime=38.46  mem=28M556
89.34	   
89.34	   search
89.34	     run=2  nbConstraintChecks=200054087  nbValidityChecks=256445328  nbPropagations=58624  nbRevisions=938772
89.34	     nbUselessRevisions=761836  nbAssignments=3478  nbFailedAssignments=3393  nbBacktracks=47  nbVisitedNodes=6919
89.34	     nbRestartNogoods=188  mapSize=47  nbInferences=0  nbTooLargeKeys=0
89.34	       =>  wckTime=84.406  cpuTime=84.11  mem=28M556
123.27	   
123.27	   search
123.27	     run=3  nbConstraintChecks=292174508  nbValidityChecks=405044803  nbPropagations=122610  nbRevisions=1938977
123.27	     nbUselessRevisions=1576991  nbAssignments=5671  nbFailedAssignments=5549  nbBacktracks=80  nbVisitedNodes=11301
123.27	     nbRestartNogoods=210  mapSize=80  nbInferences=0  nbTooLargeKeys=0
123.27	       =>  wckTime=118.338  cpuTime=117.94  mem=28M556
212.79	   
212.79	   search
212.79	     run=4  nbConstraintChecks=520745952  nbValidityChecks=690016728  nbPropagations=225254  nbRevisions=3602027
212.79	     nbUselessRevisions=2937500  nbAssignments=9320  nbFailedAssignments=9144  nbBacktracks=130  nbVisitedNodes=18595
212.79	     nbRestartNogoods=243  mapSize=130  nbInferences=0  nbTooLargeKeys=0
212.79	       =>  wckTime=207.859  cpuTime=206.98  mem=28M556
273.01	   
273.01	   search
273.01	     run=5  nbConstraintChecks=655697627  nbValidityChecks=925456962  nbPropagations=359331  nbRevisions=5802730
273.01	     nbUselessRevisions=4742241  nbAssignments=12225  nbFailedAssignments=11970  nbBacktracks=205  nbVisitedNodes=24401
273.01	     nbRestartNogoods=293  mapSize=205  nbInferences=0  nbTooLargeKeys=0
273.01	       =>  wckTime=268.077  cpuTime=266.9  mem=29M525
341.24	   
341.25	   search
341.25	     run=6  nbConstraintChecks=831884592  nbValidityChecks=1171992760  nbPropagations=532246  nbRevisions=8607101
341.25	     nbUselessRevisions=7037877  nbAssignments=15868  nbFailedAssignments=15497  nbBacktracks=318  nbVisitedNodes=31684
341.25	     nbRestartNogoods=368  mapSize=318  nbInferences=0  nbTooLargeKeys=0
341.25	       =>  wckTime=336.314  cpuTime=334.77  mem=29M525
477.20	   
477.20	   search
477.20	     run=7  nbConstraintChecks=1156117532  nbValidityChecks=1672660794  nbPropagations=779084  nbRevisions=12620385
477.20	     nbUselessRevisions=10319257  nbAssignments=22766  nbFailedAssignments=22221  nbBacktracks=488  nbVisitedNodes=45475
477.20	     nbRestartNogoods=369  mapSize=488  nbInferences=0  nbTooLargeKeys=0
477.20	       =>  wckTime=472.267  cpuTime=470.02  mem=30M495
656.83	   
656.83	   search
656.83	     run=8  nbConstraintChecks=1601309989  nbValidityChecks=2393255718  nbPropagations=1127176  nbRevisions=18302707
656.83	     nbUselessRevisions=14969213  nbAssignments=32199  nbFailedAssignments=31394  nbBacktracks=744  nbVisitedNodes=64336
656.83	     nbRestartNogoods=403  mapSize=744  nbInferences=0  nbTooLargeKeys=0
656.83	       =>  wckTime=651.896  cpuTime=648.72  mem=31M464
820.38	   
820.38	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=32M434)
840.94	   
840.94	   search
840.94	     run=9  nbConstraintChecks=2015424047  nbValidityChecks=3299821607  nbPropagations=1615284  nbRevisions=26195117
840.94	     nbUselessRevisions=21411911  nbAssignments=45361  nbFailedAssignments=44168  nbBacktracks=1128
840.94	     nbVisitedNodes=90654  nbRestartNogoods=420
840.94	       =>  wckTime=836.011  cpuTime=831.84  mem=32M434
1292.62	   
1292.62	   search
1292.62	     run=10  nbConstraintChecks=3047233771  nbValidityChecks=5154372147  nbPropagations=2361859  nbRevisions=38378962
1292.62	     nbUselessRevisions=31375158  nbAssignments=68901  nbFailedAssignments=67128  nbBacktracks=1704
1292.62	     nbVisitedNodes=137728  nbRestartNogoods=548
1292.62	       =>  wckTime=1287.691  cpuTime=1281.48  mem=32M434
1781.81	   
1781.81	   search
1781.81	     run=11  nbConstraintChecks=4119976019  nbValidityChecks=7345007391  nbPropagations=3418619  nbRevisions=55656321
1781.81	     nbUselessRevisions=45524888  nbAssignments=97649  nbFailedAssignments=95008  nbBacktracks=2568
1781.82	     nbVisitedNodes=195215  nbRestartNogoods=622
1781.82	       =>  wckTime=1776.884  cpuTime=1770.17  mem=32M434

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/node26/watcher-235325-1168082818 -o ROOT/results/node26/solver-235325-1168082818 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235325-1168082818/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.92 1.98 1.87 4/93 21701
/proc/meminfo: memFree=1295600/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=9948 CPUtime=0
/proc/21700/stat : 21700 (java) S 21698 21700 21294 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 156676164 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/21700/statm: 2487 472 386 14 0 1142 0

[startup+0.103163 s]
/proc/loadavg: 1.92 1.98 1.87 4/93 21701
/proc/meminfo: memFree=1295600/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=914988 CPUtime=0.09
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 2987 0 1 0 7 2 0 0 18 0 8 0 156676164 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21700/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511197 s]
/proc/loadavg: 1.92 1.98 1.87 4/93 21701
/proc/meminfo: memFree=1295600/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=915328 CPUtime=0.49
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 6778 0 1 0 46 3 0 0 18 0 8 0 156676164 937295872 6517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21700/statm: 228832 6517 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33227 s]
/proc/loadavg: 1.92 1.98 1.87 3/100 21708
/proc/meminfo: memFree=1271928/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=915448 CPUtime=1.3
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 8389 0 1 0 126 4 0 0 25 0 8 0 156676164 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21700/statm: 228862 8127 2167 14 0 215332 0
[pid=21700/tid=21702] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156676168 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21703] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156676168 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156676168 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=915448 CPUtime=0.14
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 156676171 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21707] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 937418752 8127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915448

[startup+2.97042 s]
/proc/loadavg: 1.93 1.98 1.87 3/100 21708
/proc/meminfo: memFree=1269560/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=915448 CPUtime=2.93
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 9153 0 1 0 288 5 0 0 25 0 8 0 156676164 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21700/statm: 228862 8890 2167 14 0 215332 0
[pid=21700/tid=21702] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156676168 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21703] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156676168 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156676168 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=915448 CPUtime=0.14
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 359 0 0 0 14 0 0 0 16 0 8 0 156676171 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21707] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=915448 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 937418752 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448

[startup+6.17772 s]
/proc/loadavg: 1.93 1.98 1.87 3/100 21708
/proc/meminfo: memFree=1252216/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=915584 CPUtime=6.11
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13520 0 1 0 603 8 0 0 25 0 8 0 156676164 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21700/statm: 228896 13255 2529 14 0 215366 0
[pid=21700/tid=21702] ppid=21698 vsize=915584 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1607 0 0 0 5 0 0 0 17 0 8 0 156676168 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21703] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=915584 CPUtime=0.23
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 414 0 0 0 23 0 0 0 15 0 8 0 156676171 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21707] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 937558016 13255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915584

[startup+12.6483 s]
/proc/loadavg: 1.94 1.98 1.87 3/100 21708
/proc/meminfo: memFree=1252152/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=915584 CPUtime=12.51
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13546 0 1 0 1243 8 0 0 25 0 8 0 156676164 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21700/statm: 228896 13276 2531 14 0 215366 0
[pid=21700/tid=21702] ppid=21698 vsize=915584 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1607 0 0 0 5 0 0 0 17 0 8 0 156676168 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21703] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=915584 CPUtime=0.28
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 434 0 0 0 27 1 0 0 15 0 8 0 156676171 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21707] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 937558016 13276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915584

[startup+25.5075 s]
/proc/loadavg: 1.87 1.97 1.87 3/100 21766
/proc/meminfo: memFree=1255352/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=915584 CPUtime=25.3
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13559 0 1 0 2521 9 0 0 25 0 8 0 156676164 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753908 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 228896 13285 2534 14 0 215366 0
[pid=21700/tid=21702] ppid=21698 vsize=915584 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21703] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=915584 CPUtime=0.29
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 439 0 0 0 28 1 0 0 16 0 8 0 156676171 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21707] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=915584 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 937558016 13285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915584

[startup+51.1219 s]
/proc/loadavg: 1.84 1.95 1.86 3/100 21822
/proc/meminfo: memFree=1235000/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=50.9
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13577 0 1 0 5081 9 0 0 25 0 8 0 156676164 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980019 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13299 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.32
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 455 0 0 0 31 1 0 0 15 0 8 0 156676171 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 916608

[startup+102.342 s]
/proc/loadavg: 1.89 1.94 1.86 3/100 21878
/proc/meminfo: memFree=1234936/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=102.06
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13578 0 1 0 10196 10 0 0 25 0 8 0 156676164 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13299 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.32
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 455 0 0 0 31 1 0 0 15 0 8 0 156676171 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 916608

[startup+162.411 s]
/proc/loadavg: 1.96 1.95 1.87 3/100 21878
/proc/meminfo: memFree=1235000/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=161.82
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13578 0 1 0 16171 11 0 0 25 0 8 0 156676164 938606592 13299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1417.54
Current children cumulated vsize (KiB) 916608

[startup+1483.87 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21934
/proc/meminfo: memFree=1222968/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1477.51
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13594 0 1 0 147732 19 0 0 25 0 8 0 156676164 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13315 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 471 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.51
Current children cumulated vsize (KiB) 916608

[startup+1543.88 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21934
/proc/meminfo: memFree=1222968/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1537.46
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13595 0 1 0 153727 19 0 0 25 0 8 0 156676164 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13316 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 472 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.46
Current children cumulated vsize (KiB) 916608

[startup+1603.9 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21934
/proc/meminfo: memFree=1222968/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1597.4
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13595 0 1 0 159721 19 0 0 25 0 8 0 156676164 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751087 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13316 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 472 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.4
Current children cumulated vsize (KiB) 916608

[startup+1663.91 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21934
/proc/meminfo: memFree=1222968/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1657.36
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13595 0 1 0 165717 19 0 0 25 0 8 0 156676164 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755276 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13316 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 472 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.36
Current children cumulated vsize (KiB) 916608

[startup+1723.92 s]
/proc/loadavg: 2.05 2.01 1.93 3/100 21934
/proc/meminfo: memFree=1222904/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1717.32
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13595 0 1 0 171712 20 0 0 25 0 8 0 156676164 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13316 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 472 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.32
Current children cumulated vsize (KiB) 916608

[startup+1783.94 s]
/proc/loadavg: 2.02 2.01 1.93 3/100 21934
/proc/meminfo: memFree=1222904/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1777.25
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13596 0 1 0 177705 20 0 0 25 0 8 0 156676164 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073986965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13316 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 472 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.25
Current children cumulated vsize (KiB) 916608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.78 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 21934
/proc/meminfo: memFree=1222904/2055920 swapFree=4192812/4192956
[pid=21700] ppid=21698 vsize=916608 CPUtime=1800.1
/proc/21700/stat : 21700 (java) R 21698 21700 21294 0 -1 0 13596 0 1 0 179990 20 0 0 25 0 8 0 156676164 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979993 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21700/statm: 229152 13316 2534 14 0 215622 0
[pid=21700/tid=21702] ppid=21698 vsize=916608 CPUtime=0.05
/proc/21700/task/21702/stat : 21702 (java) S 21698 21700 21294 0 -1 64 1608 0 0 0 5 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21703] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21703/stat : 21703 (java) S 21698 21700 21294 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21704] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21704/stat : 21704 (java) S 21698 21700 21294 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156676168 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21705] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21705/stat : 21705 (java) S 21698 21700 21294 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21706] ppid=21698 vsize=916608 CPUtime=0.33
/proc/21700/task/21706/stat : 21706 (java) S 21698 21700 21294 0 -1 64 472 0 0 0 32 1 0 0 16 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21700/tid=21707] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21707/stat : 21707 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156676171 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21700/tid=21708] ppid=21698 vsize=916608 CPUtime=0
/proc/21700/task/21708/stat : 21708 (java) S 21698 21700 21294 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156676172 938606592 13316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 916608

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

Child status: 143
Real time (s): 1806.85
CPU time (s): 1800.17
CPU user time (s): 1799.96
CPU system time (s): 0.213967
CPU usage (%): 99.6302
Max. virtual memory (cumulated for all children) (KiB): 916608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.213967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13611
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= 37995
involuntary context switches= 40218

runsolver used 2.32265 s user time and 5.67714 s system time

The end

Launcher Data (download as text)

Begin job on node26 on Sat Jan  6 11:26:59 UTC 2007


IDJOB= 235325
IDBENCH= 6760
FILE ID= node26/235325-1168082818

PBS_JOBID= 3476116

Free space on /tmp= 66536 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1ac4899202187205cc402a22c67930db

RANDOM SEED= 639836337

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:       1296016 kB
Buffers:         43136 kB
Cached:         548736 kB
SwapCached:          0 kB
Active:         159188 kB
Inactive:       525376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1296016 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1792 kB
Writeback:           0 kB
Mapped:         121696 kB
Slab:            60072 kB
Committed_AS:  3598196 kB
PageTables:       2372 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= 66535 MiB



End job on node26 on Sat Jan  6 11:57:06 UTC 2007