Trace number 211212

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.11 1809.15

General information on the benchmark

NamepseudoSeries/uclid/
elf-rf9.xml
MD5SUM2d495dfcb22d18501da72bd856be20ec
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark29.54
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20445
Number of constraints58443
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension58443
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/211212-1168206150/unknown.xml
0.41	   
0.41	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.83	     nbVariables=20445  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.83	       =>  wckTime=0.482  cpuTime=0.38  mem=40M271
0.83	   
0.83	   predicates being loaded...
0.84	   
0.84	   constraints being loaded...
9.19	     nbConstraints=56738  nbMergedConstraints=1705  nbSingletonDomainVariables=1  nbConvertedConstraints=37401
9.19	     nbConvertConstraintsChecks=105514  nbExtensionStructures=3  nbSharedExtensionStructures=37398
9.19	     nbConflictsStructures=69  nbSharedConflictsStructures=56669  nbSharedBinaryRepresentations=7
9.19	     nbEvaluationManagers=66  nbSharedEvaluationManagers=19271  maxDegree=520  maxArity=13
9.19	       =>  wckTime=8.84  cpuTime=7.37  mem=156M456
9.61	   
9.61	   solver IterativeSystematicSolver being built... 
10.94	       =>  wckTime=10.59  cpuTime=8.4  mem=169M99
376.76	   
376.76	   INFO : Stopping ESAC
376.77	   
376.77	   preprocessing
376.77	     nbConstraintChecks=194204  nbValidityChecks=112388  nbPropagations=53316  nbRevisions=184418
376.77	     nbUselessRevisions=167665  nbSingletonTests=16135  nbEffectiveSingletonTests=0  nbESACBranches=2
376.77	     nbRemovedValues=29  detectedInconsistency=no
376.77	       =>  wckTime=365.805  cpuTime=363.99  mem=171M125
387.76	   
387.76	   search
387.76	     run=0  nbConstraintChecks=107334  nbValidityChecks=34033  nbPropagations=70870  nbRevisions=284083
387.76	     nbUselessRevisions=249792  nbAssignments=203  nbFailedAssignments=1  nbBacktracks=27  nbVisitedNodes=206
387.76	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
387.76	       =>  wckTime=376.807  cpuTime=374.92  mem=172M204
398.98	   
398.98	   search
398.98	     run=1  nbConstraintChecks=203254  nbValidityChecks=70645  nbPropagations=159293  nbRevisions=661502
398.98	     nbUselessRevisions=575383  nbAssignments=411  nbFailedAssignments=2  nbBacktracks=64  nbVisitedNodes=416
398.98	     nbRestartNogoods=1  mapSize=2  nbInferences=0  nbTooLargeKeys=0
398.98	       =>  wckTime=388.026  cpuTime=386.08  mem=173M217
409.87	   
409.87	   search
409.87	     run=2  nbConstraintChecks=296791  nbValidityChecks=105443  nbPropagations=265250  nbRevisions=1131454
409.87	     nbUselessRevisions=975989  nbAssignments=614  nbFailedAssignments=3  nbBacktracks=91  nbVisitedNodes=621
409.87	     nbRestartNogoods=2  mapSize=3  nbInferences=0  nbTooLargeKeys=0
409.87	       =>  wckTime=398.912  cpuTime=396.91  mem=173M217
421.11	   
421.11	   search
421.11	     run=3  nbConstraintChecks=391955  nbValidityChecks=141230  nbPropagations=388740  nbRevisions=1694348
421.11	     nbUselessRevisions=1452020  nbAssignments=822  nbFailedAssignments=4  nbBacktracks=129  nbVisitedNodes=831
421.11	     nbRestartNogoods=3  mapSize=4  nbInferences=0  nbTooLargeKeys=0
421.11	       =>  wckTime=410.152  cpuTime=408.1  mem=174M231
433.94	   
433.94	   search
433.94	     run=4  nbConstraintChecks=490825  nbValidityChecks=177911  nbPropagations=530435  nbRevisions=2354417
433.94	     nbUselessRevisions=2007032  nbAssignments=1058  nbFailedAssignments=6  nbBacktracks=193  nbVisitedNodes=1071
433.94	     nbRestartNogoods=4  mapSize=7  nbInferences=0  nbTooLargeKeys=0
433.94	       =>  wckTime=422.99  cpuTime=420.86  mem=174M231
448.92	   
448.92	   search
448.92	     run=5  nbConstraintChecks=594463  nbValidityChecks=218807  nbPropagations=691043  nbRevisions=3117919
448.92	     nbUselessRevisions=2646573  nbAssignments=1329  nbFailedAssignments=9  nbBacktracks=286  nbVisitedNodes=1348
448.92	     nbRestartNogoods=5  mapSize=11  nbInferences=0  nbTooLargeKeys=0
448.92	       =>  wckTime=437.964  cpuTime=435.76  mem=175M244
466.14	   
466.14	   search
466.14	     run=6  nbConstraintChecks=703514  nbValidityChecks=261059  nbPropagations=871268  nbRevisions=3989523
466.14	     nbUselessRevisions=3374603  nbAssignments=1637  nbFailedAssignments=13  nbBacktracks=415  nbVisitedNodes=1664
466.14	     nbRestartNogoods=7  mapSize=17  nbInferences=0  nbTooLargeKeys=0
466.14	       =>  wckTime=455.187  cpuTime=452.9  mem=176M257
487.37	   
487.37	   search
487.37	     run=7  nbConstraintChecks=823388  nbValidityChecks=309853  nbPropagations=1072489  nbRevisions=4980351
487.37	     nbUselessRevisions=4200858  nbAssignments=2013  nbFailedAssignments=19  nbBacktracks=610  nbVisitedNodes=2052
487.37	     nbRestartNogoods=9  mapSize=26  nbInferences=0  nbTooLargeKeys=0
487.37	       =>  wckTime=476.413  cpuTime=474.02  mem=177M270
512.52	   
512.52	   search
512.52	     run=8  nbConstraintChecks=952684  nbValidityChecks=361193  nbPropagations=1296083  nbRevisions=6099453
512.52	     nbUselessRevisions=5133002  nbAssignments=2455  nbFailedAssignments=27  nbBacktracks=869  nbVisitedNodes=2510
512.52	     nbRestartNogoods=12  mapSize=39  nbInferences=0  nbTooLargeKeys=0
512.52	       =>  wckTime=501.564  cpuTime=499.04  mem=178M284
546.92	   
546.92	   search
546.92	     run=9  nbConstraintChecks=1111836  nbValidityChecks=425066  nbPropagations=1544540  nbRevisions=7367405
546.92	     nbUselessRevisions=6189073  nbAssignments=3051  nbFailedAssignments=40  nbBacktracks=1284  nbVisitedNodes=3132
546.92	     nbRestartNogoods=15  mapSize=63  nbInferences=0  nbTooLargeKeys=0
546.92	       =>  wckTime=535.97  cpuTime=533.28  mem=179M297
592.78	   
592.78	   search
592.78	     run=10  nbConstraintChecks=1296875  nbValidityChecks=500287  nbPropagations=1819415  nbRevisions=8801807
592.78	     nbUselessRevisions=7384579  nbAssignments=3850  nbFailedAssignments=70  nbBacktracks=1878  nbVisitedNodes=3980
592.78	     nbRestartNogoods=17  mapSize=108  nbInferences=0  nbTooLargeKeys=0
592.78	       =>  wckTime=581.83  cpuTime=578.91  mem=181M323
652.12	   
652.12	   search
652.12	     run=11  nbConstraintChecks=1626264  nbValidityChecks=641829  nbPropagations=2140612  nbRevisions=10546080
652.12	     nbUselessRevisions=8842217  nbAssignments=4906  nbFailedAssignments=139  nbBacktracks=2746  nbVisitedNodes=5146
652.12	     nbRestartNogoods=21  mapSize=215  nbInferences=0  nbTooLargeKeys=0
652.12	       =>  wckTime=641.17  cpuTime=637.96  mem=184M363
732.24	   
732.24	   search
732.24	     run=12  nbConstraintChecks=2488819  nbValidityChecks=917822  nbPropagations=2616637  nbRevisions=13213907
732.24	     nbUselessRevisions=11065990  nbAssignments=6442  nbFailedAssignments=248  nbBacktracks=4072  nbVisitedNodes=6842
732.24	     nbRestartNogoods=24  mapSize=371  nbInferences=0  nbTooLargeKeys=0
732.24	       =>  wckTime=721.282  cpuTime=717.69  mem=188M416
850.07	   
850.07	   search
850.07	     run=13  nbConstraintChecks=3830754  nbValidityChecks=1345681  nbPropagations=3334095  nbRevisions=17293727
850.07	     nbUselessRevisions=14454607  nbAssignments=8724  nbFailedAssignments=400  nbBacktracks=6040  nbVisitedNodes=9329
850.07	     nbRestartNogoods=28  mapSize=608  nbInferences=0  nbTooLargeKeys=0
850.07	       =>  wckTime=839.114  cpuTime=834.96  mem=194M496
1023.30	   
1023.30	   search
1023.30	     run=14  nbConstraintChecks=5512389  nbValidityChecks=1862923  nbPropagations=4348324  nbRevisions=23112611
1023.30	     nbUselessRevisions=19275160  nbAssignments=11983  nbFailedAssignments=597  nbBacktracks=8980  nbVisitedNodes=12948
1023.31	     nbRestartNogoods=35  mapSize=966  nbInferences=0  nbTooLargeKeys=0
1023.31	       =>  wckTime=1012.35  cpuTime=1007.31  mem=162M29
1044.18	   
1044.18	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=163M42)
1092.41	   
1092.41	   search
1092.41	     run=15  nbConstraintChecks=8050552  nbValidityChecks=2724198  nbPropagations=5792978  nbRevisions=31603910
1092.41	     nbUselessRevisions=26311439  nbAssignments=16860  nbFailedAssignments=951  nbBacktracks=13391  nbVisitedNodes=18597
1092.41	     nbRestartNogoods=41
1092.41	       =>  wckTime=1081.46  cpuTime=1076.08  mem=163M42
1175.24	   
1175.24	   search
1175.24	     run=16  nbConstraintChecks=12713951  nbValidityChecks=4828125  nbPropagations=7902924  nbRevisions=44476111
1175.24	     nbUselessRevisions=37022915  nbAssignments=24233  nbFailedAssignments=1525  nbBacktracks=19991
1175.24	     nbVisitedNodes=27291  nbRestartNogoods=47
1175.24	       =>  wckTime=1164.285  cpuTime=1158.34  mem=163M42
1285.35	   
1285.35	   search
1285.35	     run=17  nbConstraintChecks=15198012  nbValidityChecks=5965669  nbPropagations=10440491  nbRevisions=60048076
1285.35	     nbUselessRevisions=49991397  nbAssignments=35036  nbFailedAssignments=2094  nbBacktracks=29846
1285.35	     nbVisitedNodes=39206  nbRestartNogoods=51
1285.35	       =>  wckTime=1274.396  cpuTime=1267.85  mem=163M42
1470.86	   
1470.86	   search
1470.86	     run=18  nbConstraintChecks=25142661  nbValidityChecks=10938101  nbPropagations=14304817  nbRevisions=84232659
1470.86	     nbUselessRevisions=70131239  nbAssignments=51756  nbFailedAssignments=3618  nbBacktracks=44630
1470.86	     nbVisitedNodes=59007  nbRestartNogoods=58
1470.86	       =>  wckTime=1459.908  cpuTime=1452.48  mem=163M42
1732.34	   
1732.34	   search
1732.34	     run=19  nbConstraintChecks=40690101  nbValidityChecks=16137245  nbPropagations=21199796  nbRevisions=125008159
1732.34	     nbUselessRevisions=103706255  nbAssignments=75819  nbFailedAssignments=5384  nbBacktracks=66799
1732.34	     nbVisitedNodes=87047  nbRestartNogoods=65
1732.34	       =>  wckTime=1721.386  cpuTime=1712.7  mem=163M42

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/node11/watcher-211212-1168206150 -o ROOT/results/node11/solver-211212-1168206150 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211212-1168206150/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.72 1.45 1.70 5/86 10556
/proc/meminfo: memFree=1517600/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=18540 CPUtime=0
/proc/10555/stat : 10555 (runsolver) R 10553 10555 10205 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 169010110 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10555/statm: 4635 279 244 17 0 2626 0

[startup+0.103547 s]
/proc/loadavg: 1.72 1.45 1.70 5/86 10556
/proc/meminfo: memFree=1517600/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=912588 CPUtime=0.08
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 2751 0 1 0 6 2 0 0 20 0 8 0 169010110 934490112 2497 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912588

[startup+0.511625 s]
/proc/loadavg: 1.72 1.45 1.70 5/86 10556
/proc/meminfo: memFree=1517600/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915328 CPUtime=0.47
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 6320 0 1 0 43 4 0 0 20 0 8 0 169010110 937295872 6059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228832 6059 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.3348 s]
/proc/loadavg: 1.75 1.46 1.70 3/93 10563
/proc/meminfo: memFree=1451240/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915616 CPUtime=1.29
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 18798 0 1 0 116 13 0 0 25 0 8 0 169010110 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073755645 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228904 18536 2158 14 0 215374 0
[pid=10555/tid=10557] ppid=10553 vsize=915616 CPUtime=0.11
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 2253 0 0 0 10 1 0 0 18 0 8 0 169010115 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169010115 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169010115 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=915616 CPUtime=0.17
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 413 0 0 0 17 0 0 0 15 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 937590784 18536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915616

[startup+2.98112 s]
/proc/loadavg: 1.75 1.46 1.70 3/93 10563
/proc/meminfo: memFree=1438568/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915616 CPUtime=2.92
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 23703 0 1 0 276 16 0 0 25 0 8 0 169010110 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073549552 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228904 23437 2158 14 0 215374 0
[pid=10555/tid=10557] ppid=10553 vsize=915616 CPUtime=0.39
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 7152 0 0 0 36 3 0 0 16 0 8 0 169010115 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169010115 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169010115 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=915616 CPUtime=0.18
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 415 0 0 0 18 0 0 0 16 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=915616 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 937590784 23437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915616

[startup+6.27477 s]
/proc/loadavg: 1.77 1.47 1.70 3/93 10563
/proc/meminfo: memFree=1422632/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=915744 CPUtime=6.18
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 28952 0 1 0 461 157 0 0 25 0 8 0 169010110 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 228936 28682 2178 14 0 215406 0
[pid=10555/tid=10557] ppid=10553 vsize=915744 CPUtime=0.75
/proc/10555/task/10557/stat : 10557 (java) R 10553 10555 10205 0 -1 64 12317 0 0 0 69 6 0 0 18 0 8 0 169010115 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827392 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169010115 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169010115 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=915744 CPUtime=0.21
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 434 0 0 0 21 0 0 0 15 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=915744 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 937721856 28682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915744

[startup+12.7649 s]
/proc/loadavg: 1.79 1.48 1.70 3/93 10563
/proc/meminfo: memFree=1301992/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=12.63
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56582 0 1 0 995 268 0 0 25 0 8 0 169010110 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56245 2537 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 17 0 8 0 169010115 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.41
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 678 0 0 0 39 2 0 0 15 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56245 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 916336

[startup+25.6244 s]
/proc/loadavg: 1.82 1.50 1.71 3/93 10563
/proc/meminfo: memFree=1302312/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=25.44
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56594 0 1 0 2275 269 0 0 25 0 8 0 169010110 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074264996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56253 2539 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 16 0 8 0 169010115 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.42
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 686 0 0 0 40 2 0 0 16 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 916336

[startup+51.2485 s]
/proc/loadavg: 1.89 1.54 1.72 4/93 10563
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=50.93
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56599 0 1 0 4824 269 0 0 25 0 8 0 169010110 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074317573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56256 2539 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.43
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 691 0 0 0 41 2 0 0 16 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 916336

[startup+102.498 s]
/proc/loadavg: 1.95 1.61 1.73 3/93 10563
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=101.94
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56599 0 1 0 9924 270 0 0 25 0 8 0 169010110 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074316656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56256 2539 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.76
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39256 0 0 0 156 20 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.43
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 691 0 0 0 41 2 0 0 16 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 916336

[startup+162.6 s]
/proc/loadavg: 2.08 1.71 1.75 3/93 10563
/proc/meminfo: memFree=1302440/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=161.75
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 56600 0 1 0 15905 270 0 0 25 0 8 0 169010110 938328064 56256 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074316656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.89
Current children cumulated vsize (KiB) 916336

[startup+1484.14 s]
/proc/loadavg: 2.05 2.01 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1476.71
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 147390 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074363472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.71
Current children cumulated vsize (KiB) 916336

[startup+1544.15 s]
/proc/loadavg: 2.02 2.01 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1536.43
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 153362 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.43
Current children cumulated vsize (KiB) 916336

[startup+1604.16 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1596.15
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 159334 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074310938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.15
Current children cumulated vsize (KiB) 916336

[startup+1664.17 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 10761
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1655.87
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 165306 281 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074339326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.87
Current children cumulated vsize (KiB) 916336

[startup+1724.27 s]
/proc/loadavg: 2.00 2.00 1.92 3/93 10761
/proc/meminfo: memFree=1299560/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1715.68
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 171286 282 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074365051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.68
Current children cumulated vsize (KiB) 916336

[startup+1784.36 s]
/proc/loadavg: 2.00 2.00 1.92 3/90 10834
/proc/meminfo: memFree=1511480/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1775.45
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 177260 285 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074365051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.45
Current children cumulated vsize (KiB) 916336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.05 s]
/proc/loadavg: 1.93 1.98 1.91 3/101 10903
/proc/meminfo: memFree=1442720/2055920 swapFree=4192812/4192956
[pid=10555] ppid=10553 vsize=916336 CPUtime=1800.01
/proc/10555/stat : 10555 (java) R 10553 10555 10205 0 -1 0 57108 0 1 0 179715 286 0 0 25 0 8 0 169010110 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10555/statm: 229084 56744 2540 14 0 215554 0
[pid=10555/tid=10557] ppid=10553 vsize=916336 CPUtime=1.82
/proc/10555/task/10557/stat : 10557 (java) S 10553 10555 10205 0 -1 64 39708 0 0 0 161 21 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10558] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10558/stat : 10558 (java) S 10553 10555 10205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10559] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10559/stat : 10559 (java) S 10553 10555 10205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169010115 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10560] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10560/stat : 10560 (java) S 10553 10555 10205 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10561] ppid=10553 vsize=916336 CPUtime=0.51
/proc/10555/task/10561/stat : 10561 (java) S 10553 10555 10205 0 -1 64 727 0 0 0 49 2 0 0 17 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10562] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10562/stat : 10562 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10555/tid=10563] ppid=10553 vsize=916336 CPUtime=0
/proc/10555/task/10563/stat : 10563 (java) S 10553 10555 10205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169010119 938328064 56744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 916336

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

Child status: 143
Real time (s): 1809.15
CPU time (s): 1800.11
CPU user time (s): 1797.21
CPU system time (s): 2.89756
CPU usage (%): 99.5
Max. virtual memory (cumulated for all children) (KiB): 916336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 2.89756
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57126
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= 38625
involuntary context switches= 58698

runsolver used 2.23866 s user time and 5.77612 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sun Jan  7 21:42:31 UTC 2007


IDJOB= 211212
IDBENCH= 4677
FILE ID= node11/211212-1168206150

PBS_JOBID= 3480565

Free space on /tmp= 66327 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/elf-rf9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211212-1168206150/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-211212-1168206150 -o ROOT/results/node11/solver-211212-1168206150 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211212-1168206150/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2d495dfcb22d18501da72bd856be20ec

RANDOM SEED= 888980875

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.261
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	: 5931.00
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.261
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:       1518272 kB
Buffers:         30164 kB
Cached:         162004 kB
SwapCached:          0 kB
Active:         330124 kB
Inactive:       150704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1518272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10512 kB
Writeback:           0 kB
Mapped:         311076 kB
Slab:            41024 kB
Committed_AS:  5239536 kB
PageTables:       2780 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= 66327 MiB



End job on node11 on Sun Jan  7 22:12:40 UTC 2007