Trace number 212714

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.1 1812.49

General information on the benchmark

NamepseudoSeries/primesDimacs/
g-125-17.xml
MD5SUM365d707976bbd6bc60ee24bd7d71a30a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4250
Number of constraints68397
Maximum constraint arity17
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension68397
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/212714-1168223059/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.58	     nbVariables=4250  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.58	       =>  wckTime=0.263  cpuTime=0.18  mem=13M728
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
7.97	     nbConstraints=68397  nbConvertedConstraints=68272  nbConvertConstraintsChecks=8  nbExtensionStructures=2
7.97	     nbSharedExtensionStructures=68270  nbConflictsStructures=2  nbSharedConflictsStructures=68270
7.97	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=5  nbEvaluationManagers=1
7.97	     nbSharedEvaluationManagers=124  maxDegree=76  maxArity=17
7.97	       =>  wckTime=7.655  cpuTime=6.73  mem=80M366
8.31	   
8.31	   solver IterativeSystematicSolver being built... 
8.71	       =>  wckTime=8.39  cpuTime=7.06  mem=90M776
25.76	   
25.76	   preprocessing
25.76	     nbConstraintChecks=981893  nbValidityChecks=243508  nbPropagations=27347  nbRevisions=803565
25.76	     nbUselessRevisions=786544  nbSingletonTests=6447  nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0
25.76	     detectedInconsistency=no
25.76	       =>  wckTime=17.037  cpuTime=16.82  mem=91M782
87.48	   
87.48	   search
87.48	     run=0  nbConstraintChecks=165574  nbValidityChecks=57460  nbPropagations=32655  nbRevisions=941879
87.48	     nbUselessRevisions=919818  nbAssignments=1603  nbFailedAssignments=1  nbBacktracks=132  nbVisitedNodes=1624
87.48	     nbRestartNogoods=0  mapSize=19  nbInferences=0  nbTooLargeKeys=0
87.48	       =>  wckTime=78.762  cpuTime=77.93  mem=94M801
146.47	   
146.47	   search
146.47	     run=1  nbConstraintChecks=309985  nbValidityChecks=106631  nbPropagations=69487  nbRevisions=2003072
146.47	     nbUselessRevisions=1955340  nbAssignments=3175  nbFailedAssignments=3  nbBacktracks=181  nbVisitedNodes=3201
146.47	     nbRestartNogoods=1  mapSize=23  nbInferences=0  nbTooLargeKeys=0
146.47	       =>  wckTime=137.756  cpuTime=136.39  mem=97M819
206.34	   
206.34	   search
206.34	     run=2  nbConstraintChecks=467080  nbValidityChecks=162300  nbPropagations=111307  nbRevisions=3197352
206.34	     nbUselessRevisions=3119414  nbAssignments=4759  nbFailedAssignments=4  nbBacktracks=252  nbVisitedNodes=4795
206.34	     nbRestartNogoods=2  mapSize=32  nbInferences=0  nbTooLargeKeys=0
206.34	       =>  wckTime=197.628  cpuTime=195.7  mem=100M837
270.22	   
270.22	   search
270.22	     run=3  nbConstraintChecks=617071  nbValidityChecks=213404  nbPropagations=157683  nbRevisions=4515703
270.22	     nbUselessRevisions=4403443  nbAssignments=6409  nbFailedAssignments=6  nbBacktracks=332  nbVisitedNodes=6451
270.22	     nbRestartNogoods=3  mapSize=37  nbInferences=0  nbTooLargeKeys=0
270.22	       =>  wckTime=261.5  cpuTime=258.99  mem=103M856
333.00	   
333.00	   search
333.00	     run=4  nbConstraintChecks=766549  nbValidityChecks=264963  nbPropagations=208674  nbRevisions=5958488
333.00	     nbUselessRevisions=5807692  nbAssignments=8038  nbFailedAssignments=7  nbBacktracks=407  nbVisitedNodes=8088
333.00	     nbRestartNogoods=4  mapSize=44  nbInferences=0  nbTooLargeKeys=0
333.00	       =>  wckTime=324.287  cpuTime=321.18  mem=64M618
398.07	   
398.08	   search
398.08	     run=5  nbConstraintChecks=939134  nbValidityChecks=326467  nbPropagations=265622  nbRevisions=7549245
398.08	     nbUselessRevisions=7354121  nbAssignments=9700  nbFailedAssignments=9  nbBacktracks=545  nbVisitedNodes=9764
398.08	     nbRestartNogoods=5  mapSize=57  nbInferences=0  nbTooLargeKeys=0
398.08	       =>  wckTime=389.361  cpuTime=385.66  mem=68M671
459.16	   
459.16	   search
459.16	     run=6  nbConstraintChecks=1106108  nbValidityChecks=385049  nbPropagations=328096  nbRevisions=9282251
459.16	     nbUselessRevisions=9037427  nbAssignments=11295  nbFailedAssignments=10  nbBacktracks=683  nbVisitedNodes=11372
459.16	     nbRestartNogoods=6  mapSize=69  nbInferences=0  nbTooLargeKeys=0
459.16	       =>  wckTime=450.45  cpuTime=446.19  mem=71M710
525.68	   
525.68	   search
525.68	     run=7  nbConstraintChecks=1301379  nbValidityChecks=458087  nbPropagations=397975  nbRevisions=11186833
525.68	     nbUselessRevisions=10884946  nbAssignments=12987  nbFailedAssignments=15  nbBacktracks=867  nbVisitedNodes=13092
525.68	     nbRestartNogoods=7  mapSize=96  nbInferences=0  nbTooLargeKeys=0
525.68	       =>  wckTime=516.969  cpuTime=512.08  mem=74M750
597.71	   
597.71	   search
597.71	     run=8  nbConstraintChecks=1485723  nbValidityChecks=527847  nbPropagations=474651  nbRevisions=13252619
597.71	     nbUselessRevisions=12887099  nbAssignments=14791  nbFailedAssignments=23  nbBacktracks=1156  nbVisitedNodes=14916
597.71	     nbRestartNogoods=8  mapSize=115  nbInferences=0  nbTooLargeKeys=0
597.71	       =>  wckTime=588.997  cpuTime=583.42  mem=78M802
679.13	   
679.13	   search
679.13	     run=9  nbConstraintChecks=1749206  nbValidityChecks=650842  nbPropagations=565308  nbRevisions=15573837
679.13	     nbUselessRevisions=15130309  nbAssignments=16789  nbFailedAssignments=42  nbBacktracks=1578  nbVisitedNodes=16961
679.13	     nbRestartNogoods=9  mapSize=159  nbInferences=0  nbTooLargeKeys=0
679.13	       =>  wckTime=670.413  cpuTime=664.05  mem=82M855
770.18	   
770.18	   search
770.18	     run=10  nbConstraintChecks=2285740  nbValidityChecks=847934  nbPropagations=675592  nbRevisions=18353935
770.18	     nbUselessRevisions=17814046  nbAssignments=21770  nbFailedAssignments=62  nbBacktracks=2192  nbVisitedNodes=19172
770.18	     nbRestartNogoods=12  mapSize=209  nbInferences=0  nbTooLargeKeys=0
770.18	       =>  wckTime=761.461  cpuTime=754.24  mem=88M934
875.05	   
875.05	   search
875.05	     run=11  nbConstraintChecks=2861730  nbValidityChecks=1063745  nbPropagations=808087  nbRevisions=21631818
875.05	     nbUselessRevisions=20974101  nbAssignments=26701  nbFailedAssignments=75  nbBacktracks=3078  nbVisitedNodes=21607
875.05	     nbRestartNogoods=15  mapSize=276  nbInferences=0  nbTooLargeKeys=0
875.05	       =>  wckTime=866.339  cpuTime=858.14  mem=94M0
999.29	   
999.29	   search
999.29	     run=12  nbConstraintChecks=3198830  nbValidityChecks=1217525  nbPropagations=958741  nbRevisions=25233407
999.29	     nbUselessRevisions=24438577  nbAssignments=29440  nbFailedAssignments=90  nbBacktracks=4419  nbVisitedNodes=24427
999.29	     nbRestartNogoods=16  mapSize=356  nbInferences=0  nbTooLargeKeys=0
999.29	       =>  wckTime=990.572  cpuTime=981.21  mem=101M92
1160.73	   
1160.73	   search
1160.73	     run=13  nbConstraintChecks=3740892  nbValidityChecks=1482197  nbPropagations=1141957  nbRevisions=29376654
1160.73	     nbUselessRevisions=28409040  nbAssignments=32946  nbFailedAssignments=131  nbBacktracks=6394  nbVisitedNodes=28086
1160.73	     nbRestartNogoods=17  mapSize=506  nbInferences=0  nbTooLargeKeys=0
1160.73	       =>  wckTime=1152.018  cpuTime=1142.41  mem=64M892
1391.12	   
1391.12	   search
1391.12	     run=14  nbConstraintChecks=4385267  nbValidityChecks=1821196  nbPropagations=1369393  nbRevisions=34189406
1391.12	     nbUselessRevisions=33000693  nbAssignments=37661  nbFailedAssignments=179  nbBacktracks=9538  nbVisitedNodes=33016
1391.12	     nbRestartNogoods=20  mapSize=720  nbInferences=0  nbTooLargeKeys=0
1391.12	       =>  wckTime=1382.406  cpuTime=1372.28  mem=79M76
1683.52	   
1683.52	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=97M313)
1684.10	   
1684.10	   search
1684.10	     run=15  nbConstraintChecks=5400877  nbValidityChecks=2282176  nbPropagations=1658673  nbRevisions=40009502
1684.10	     nbUselessRevisions=38530069  nbAssignments=43634  nbFailedAssignments=250  nbBacktracks=14062  nbVisitedNodes=39276
1684.10	     nbRestartNogoods=21
1684.10	       =>  wckTime=1675.39  cpuTime=1663.65  mem=97M313
1692.06	   
1692.06	   search
1692.06	     run=16  nbConstraintChecks=6433399  nbValidityChecks=2815923  nbPropagations=2023418  nbRevisions=46907468
1692.06	     nbUselessRevisions=45053539  nbAssignments=52082  nbFailedAssignments=366  nbBacktracks=20717  nbVisitedNodes=48062
1692.06	     nbRestartNogoods=22
1692.06	       =>  wckTime=1683.35  cpuTime=1671.57  mem=97M313
1702.94	   
1702.94	   search
1702.94	     run=17  nbConstraintChecks=8201316  nbValidityChecks=3608802  nbPropagations=2501654  nbRevisions=55533269
1702.94	     nbUselessRevisions=53180863  nbAssignments=63691  nbFailedAssignments=502  nbBacktracks=30573  nbVisitedNodes=60114
1702.94	     nbRestartNogoods=24
1702.94	       =>  wckTime=1694.23  cpuTime=1682.37  mem=97M313
1719.97	   
1719.97	   search
1719.97	     run=18  nbConstraintChecks=11055820  nbValidityChecks=4816636  nbPropagations=3149039  nbRevisions=66873699
1719.97	     nbUselessRevisions=63843705  nbAssignments=86060  nbFailedAssignments=719  nbBacktracks=45353  nbVisitedNodes=77541
1719.97	     nbRestartNogoods=28
1719.97	       =>  wckTime=1711.258  cpuTime=1699.32  mem=97M313
1741.48	   
1741.48	   search
1741.48	     run=19  nbConstraintChecks=15164883  nbValidityChecks=6387977  nbPropagations=4041621  nbRevisions=82066395
1741.48	     nbUselessRevisions=78087546  nbAssignments=110482  nbFailedAssignments=1027  nbBacktracks=67522
1741.48	     nbVisitedNodes=102850  nbRestartNogoods=32
1741.48	       =>  wckTime=1732.769  cpuTime=1720.72  mem=97M313
1776.07	   
1776.07	   search
1776.07	     run=20  nbConstraintChecks=23816898  nbValidityChecks=9339941  nbPropagations=5442081  nbRevisions=105233031
1776.07	     nbUselessRevisions=99739717  nbAssignments=146485  nbFailedAssignments=1746  nbBacktracks=100789
1776.07	     nbVisitedNodes=140873  nbRestartNogoods=36
1776.07	       =>  wckTime=1767.355  cpuTime=1755.1  mem=97M313

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/node15/watcher-212714-1168223059 -o ROOT/results/node15/solver-212714-1168223059 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212714-1168223059/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.99 2/94 28462
/proc/meminfo: memFree=1437080/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=18540 CPUtime=0
/proc/28461/stat : 28461 (runsolver) R 28459 28461 28011 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 170700772 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28461/statm: 4635 279 244 17 0 2626 0

[startup+0.102958 s]
/proc/loadavg: 1.92 1.98 1.99 2/94 28462
/proc/meminfo: memFree=1437080/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=914852 CPUtime=0.08
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 2939 0 1 0 7 1 0 0 19 0 8 0 170700772 936808448 2685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072939849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228713 2685 1411 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.511029 s]
/proc/loadavg: 1.92 1.98 1.99 2/94 28462
/proc/meminfo: memFree=1437080/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915328 CPUtime=0.49
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 6536 0 1 0 45 4 0 0 18 0 8 0 170700772 937295872 6275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228832 6275 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33717 s]
/proc/loadavg: 1.92 1.98 1.99 3/101 28469
/proc/meminfo: memFree=1374816/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915628 CPUtime=1.3
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 17905 0 1 0 121 9 0 0 25 0 8 0 170700772 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228907 17643 2157 14 0 215377 0
[pid=28461/tid=28463] ppid=28459 vsize=915628 CPUtime=0.05
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 1372 0 0 0 5 0 0 0 17 0 8 0 170700777 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915628 CPUtime=0.15
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 170700781 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937603072 17643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937603072 17643 18446744073709551615 134512640 134570532 4294956464 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) 915628

[startup+2.97845 s]
/proc/loadavg: 1.92 1.98 1.99 5/101 28469
/proc/meminfo: memFree=1359840/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915632 CPUtime=2.93
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 22903 0 1 0 275 18 0 0 25 0 8 0 170700772 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228908 22638 2178 14 0 215378 0
[pid=28461/tid=28463] ppid=28459 vsize=915632 CPUtime=0.31
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 6288 0 0 0 29 2 0 0 16 0 8 0 170700777 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915632 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915632 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915632 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915632 CPUtime=0.19
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 422 0 0 0 18 1 0 0 16 0 8 0 170700781 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915632 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937607168 22638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915632 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937607168 22638 18446744073709551615 134512640 134570532 4294956464 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) 915632

[startup+6.27302 s]
/proc/loadavg: 1.93 1.98 1.99 3/101 28469
/proc/meminfo: memFree=1345824/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915628 CPUtime=6.19
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 25156 0 1 0 408 211 0 0 25 0 8 0 170700772 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7975388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228907 24889 2178 14 0 215377 0
[pid=28461/tid=28463] ppid=28459 vsize=915628 CPUtime=0.43
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 8532 0 0 0 40 3 0 0 16 0 8 0 170700777 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915628 CPUtime=0.21
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 429 0 0 0 20 1 0 0 16 0 8 0 170700781 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915628 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937603072 24889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915628

[startup+12.7591 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 28469
/proc/meminfo: memFree=1313120/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=12.62
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 33836 0 1 0 971 291 0 0 25 0 8 0 170700772 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074229360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228973 33423 2546 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=0.99
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 16626 0 0 0 93 6 0 0 16 0 8 0 170700777 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.36
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 556 0 0 0 34 2 0 0 16 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915892

[startup+25.6193 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 28469
/proc/meminfo: memFree=1313248/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=25.36
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 33838 0 1 0 2245 291 0 0 25 0 8 0 170700772 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074187209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228973 33423 2546 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=0.99
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 16626 0 0 0 93 6 0 0 16 0 8 0 170700777 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.36
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 556 0 0 0 34 2 0 0 16 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 33423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915892

[startup+51.2528 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 28469
/proc/meminfo: memFree=1313248/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=50.75
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 33846 0 1 0 4784 291 0 0 25 0 8 0 170700772 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074147052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228973 33430 2546 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=0.99
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 16626 0 0 0 93 6 0 0 16 0 8 0 170700777 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.38
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 564 0 0 0 36 2 0 0 16 0 8 0 170700781 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 33430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915892

[startup+102.491 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 28469
/proc/meminfo: memFree=1313312/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=101.52
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 33859 0 1 0 9860 292 0 0 25 0 8 0 170700772 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074146970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28461/statm: 228973 33440 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=0.99
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 16626 0 0 0 93 6 0 0 16 0 8 0 170700777 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.4
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 573 0 0 0 38 2 0 0 16 0 8 0 170700781 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 33440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915892

[startup+162.587 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 28469
/proc/meminfo: memFree=1313312/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=161.06
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 33862 0 1 0 15814 292 0 0 25 0 8 0 170700772 937873408 33442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074146970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1413.19
Current children cumulated vsize (KiB) 915892

[startup+1483.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/101 28541
/proc/meminfo: memFree=1327328/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1472.93
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34435 0 1 0 146989 304 0 0 25 0 8 0 170700772 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34007 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 586 0 0 0 40 2 0 0 16 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.93
Current children cumulated vsize (KiB) 915892

[startup+1543.59 s]
/proc/loadavg: 2.03 2.04 2.00 3/101 28541
/proc/meminfo: memFree=1327264/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1532.69
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34435 0 1 0 152965 304 0 0 25 0 8 0 170700772 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34007 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 586 0 0 0 40 2 0 0 16 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.69
Current children cumulated vsize (KiB) 915892

[startup+1603.68 s]
/proc/loadavg: 2.01 2.03 2.00 3/101 28541
/proc/meminfo: memFree=1327264/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1592.45
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34435 0 1 0 158941 304 0 0 25 0 8 0 170700772 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34007 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 586 0 0 0 40 2 0 0 16 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.45
Current children cumulated vsize (KiB) 915892

[startup+1663.77 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 28541
/proc/meminfo: memFree=1327136/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1652.19
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34435 0 1 0 164915 304 0 0 25 0 8 0 170700772 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34007 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 586 0 0 0 40 2 0 0 16 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.19
Current children cumulated vsize (KiB) 915892

[startup+1723.85 s]
/proc/loadavg: 2.00 2.02 2.00 5/101 28541
/proc/meminfo: memFree=1327136/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1711.96
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34438 0 1 0 170891 305 0 0 25 0 8 0 170700772 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074223934 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34008 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 587 0 0 0 40 2 0 0 16 0 8 0 170700781 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.96
Current children cumulated vsize (KiB) 915892

[startup+1783.94 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 28541
/proc/meminfo: memFree=1326944/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1771.72
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34439 0 1 0 176867 305 0 0 25 0 8 0 170700772 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074157291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34009 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 588 0 0 0 40 2 0 0 17 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.72
Current children cumulated vsize (KiB) 915892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.45 s]
/proc/loadavg: 2.19 2.06 2.01 3/101 28541
/proc/meminfo: memFree=1327008/2055920 swapFree=4174172/4192956
[pid=28461] ppid=28459 vsize=915892 CPUtime=1800.06
/proc/28461/stat : 28461 (java) R 28459 28461 28011 0 -1 0 34439 0 1 0 179701 305 0 0 25 0 8 0 170700772 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074245041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28461/statm: 228973 34009 2547 14 0 215443 0
[pid=28461/tid=28463] ppid=28459 vsize=915892 CPUtime=1.03
/proc/28461/task/28463/stat : 28463 (java) S 28459 28461 28011 0 -1 64 17182 0 0 0 96 7 0 0 16 0 8 0 170700777 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28464] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28464/stat : 28464 (java) S 28459 28461 28011 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28465] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28465/stat : 28465 (java) S 28459 28461 28011 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170700777 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28466] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28466/stat : 28466 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28467] ppid=28459 vsize=915892 CPUtime=0.42
/proc/28461/task/28467/stat : 28467 (java) S 28459 28461 28011 0 -1 64 588 0 0 0 40 2 0 0 17 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28461/tid=28468] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28468/stat : 28468 (java) S 28459 28461 28011 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28461/tid=28469] ppid=28459 vsize=915892 CPUtime=0
/proc/28461/task/28469/stat : 28469 (java) S 28459 28461 28011 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170700781 937873408 34009 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915892

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

Child status: 143
Real time (s): 1812.49
CPU time (s): 1800.1
CPU user time (s): 1797.03
CPU system time (s): 3.07153
CPU usage (%): 99.3165
Max. virtual memory (cumulated for all children) (KiB): 916132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.07153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34454
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= 38450
involuntary context switches= 81582

runsolver used 2.35464 s user time and 5.9431 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Jan  8 02:24:19 UTC 2007


IDJOB= 212714
IDBENCH= 4792
FILE ID= node15/212714-1168223059

PBS_JOBID= 3480667

Free space on /tmp= 66317 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/g-125-17.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212714-1168223059/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-212714-1168223059 -o ROOT/results/node15/solver-212714-1168223059 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212714-1168223059/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  365d707976bbd6bc60ee24bd7d71a30a

RANDOM SEED= 140458308

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.276
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.276
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:       1437560 kB
Buffers:         77136 kB
Cached:         370092 kB
SwapCached:       6400 kB
Active:         290440 kB
Inactive:       269920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1437560 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:           10264 kB
Writeback:           0 kB
Mapped:         131212 kB
Slab:            42412 kB
Committed_AS:  5526072 kB
PageTables:       2644 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= 66319 MiB



End job on node15 on Mon Jan  8 02:54:32 UTC 2007