Trace number 197973

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.16 1817.11

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-67-11-a4.xml
MD5SUMc6e220e6af1aeef3c7ef15ce910420b7
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 variables11
Number of constraints1375
Maximum constraint arity4
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1375
Global constraints used (with number of constraints)

Solver Data (download as text)

0.38	   
0.38	Abscon 109 (November, 2006)
0.38	   
0.38	   configuration
0.38	     name=esac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/197973-1168126551/unknown.xml
0.45	   
0.45	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.48	     nbVariables=11  nbDomainTypes=1  minDomainSize=68  maxDomainSize=68
0.48	       =>  wckTime=0.094  cpuTime=0.09  mem=6M951
0.48	   
0.48	   predicates being loaded...
0.48	   
0.48	   constraints being loaded...
0.80	     nbConstraints=550  nbMergedConstraints=825  nbConvertedConstraints=55  nbConvertConstraintsChecks=4624
0.80	     nbExtensionStructures=1  nbSharedExtensionStructures=54  nbConflictsStructures=1  nbSharedConflictsStructures=54
0.80	     nbUnbuiltConflictsStructures=2  nbSharedBinaryRepresentations=1  nbEvaluationManagers=2
0.80	     nbSharedEvaluationManagers=493  maxDegree=175  maxArity=4
0.80	       =>  wckTime=0.41  cpuTime=0.3  mem=17M678
0.84	   
0.84	   solver IterativeSystematicSolver being built... 
1.04	       =>  wckTime=0.653  cpuTime=0.47  mem=21M650
2.16	   
2.16	   preprocessing
2.16	     nbConstraintChecks=1089197  nbValidityChecks=1734351  nbPropagations=319  nbRevisions=62903
2.16	     nbUselessRevisions=61544  nbSingletonTests=56  nbEffectiveSingletonTests=8  nbESACBranches=15  nbRemovedValues=133
2.16	     detectedInconsistency=no
2.16	       =>  wckTime=1.118  cpuTime=1.07  mem=21M650
2.52	   
2.52	   search
2.52	     run=0  nbConstraintChecks=342395  nbValidityChecks=626724  nbPropagations=451  nbRevisions=85555
2.52	     nbUselessRevisions=83844  nbAssignments=20  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=36
2.52	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
2.52	       =>  wckTime=1.48  cpuTime=1.42  mem=21M650
3.05	   
3.05	   search
3.05	     run=1  nbConstraintChecks=843187  nbValidityChecks=1516862  nbPropagations=1100  nbRevisions=205369
3.05	     nbUselessRevisions=201460  nbAssignments=48  nbFailedAssignments=20  nbBacktracks=25  nbVisitedNodes=86
3.05	     nbRestartNogoods=1  mapSize=20  nbInferences=0  nbTooLargeKeys=0
3.05	       =>  wckTime=2.01  cpuTime=1.94  mem=21M650
3.82	   
3.82	   search
3.82	     run=2  nbConstraintChecks=1574612  nbValidityChecks=2839646  nbPropagations=2025  nbRevisions=376336
3.82	     nbUselessRevisions=369361  nbAssignments=90  nbFailedAssignments=38  nbBacktracks=48  nbVisitedNodes=159
3.82	     nbRestartNogoods=7  mapSize=38  nbInferences=0  nbTooLargeKeys=0
3.82	       =>  wckTime=2.783  cpuTime=2.71  mem=21M650
5.09	   
5.09	   search
5.09	     run=3  nbConstraintChecks=2730828  nbValidityChecks=4922862  nbPropagations=3386  nbRevisions=629058
5.09	     nbUselessRevisions=617801  nbAssignments=165  nbFailedAssignments=78  nbBacktracks=81  nbVisitedNodes=295
5.09	     nbRestartNogoods=9  mapSize=68  nbInferences=0  nbTooLargeKeys=0
5.09	       =>  wckTime=4.046  cpuTime=3.95  mem=21M650
7.66	   
7.66	   search
7.66	     run=4  nbConstraintChecks=5075819  nbValidityChecks=8904945  nbPropagations=5524  nbRevisions=1036585
7.66	     nbUselessRevisions=1018026  nbAssignments=305  nbFailedAssignments=166  nbBacktracks=132  nbVisitedNodes=563
7.66	     nbRestartNogoods=16  mapSize=118  nbInferences=0  nbTooLargeKeys=0
7.66	       =>  wckTime=6.618  cpuTime=6.49  mem=21M650
9.83	   
9.83	   search
9.83	     run=5  nbConstraintChecks=6697578  nbValidityChecks=13781553  nbPropagations=9630  nbRevisions=1772979
9.83	     nbUselessRevisions=1735963  nbAssignments=722  nbFailedAssignments=504  nbBacktracks=207  nbVisitedNodes=1378
9.83	     nbRestartNogoods=20  mapSize=187  nbInferences=0  nbTooLargeKeys=0
9.83	       =>  wckTime=8.788  cpuTime=8.64  mem=21M650
15.30	   
15.30	   search
15.30	     run=6  nbConstraintChecks=10779847  nbValidityChecks=27615586  nbPropagations=16892  nbRevisions=3137365
15.30	     nbUselessRevisions=3067823  nbAssignments=1361  nbFailedAssignments=826  nbBacktracks=320  nbVisitedNodes=2225
15.30	     nbRestartNogoods=53  mapSize=290  nbInferences=0  nbTooLargeKeys=0
15.30	       =>  wckTime=14.261  cpuTime=14.07  mem=21M650
20.36	   
20.36	   search
20.36	     run=7  nbConstraintChecks=14551439  nbValidityChecks=39060194  nbPropagations=27950  nbRevisions=5185653
20.36	     nbUselessRevisions=5063873  nbAssignments=2178  nbFailedAssignments=1393  nbBacktracks=492  nbVisitedNodes=3661
20.36	     nbRestartNogoods=67  mapSize=442  nbInferences=0  nbTooLargeKeys=0
20.36	       =>  wckTime=19.323  cpuTime=19.11  mem=21M650
33.07	   
33.07	   search
33.07	     run=8  nbConstraintChecks=25345008  nbValidityChecks=63942877  nbPropagations=44998  nbRevisions=8400461
33.07	     nbUselessRevisions=8182456  nbAssignments=3455  nbFailedAssignments=2367  nbBacktracks=749  nbVisitedNodes=6026
33.07	     nbRestartNogoods=76  mapSize=661  nbInferences=0  nbTooLargeKeys=0
33.07	       =>  wckTime=32.031  cpuTime=31.73  mem=21M650
46.62	   
46.62	   search
46.62	     run=9  nbConstraintChecks=36238029  nbValidityChecks=93880586  nbPropagations=71942  nbRevisions=13432852
46.62	     nbUselessRevisions=13042955  nbAssignments=5460  nbFailedAssignments=3984  nbBacktracks=1134  nbVisitedNodes=9917
46.62	     nbRestartNogoods=79  mapSize=976  nbInferences=0  nbTooLargeKeys=0
46.62	       =>  wckTime=45.58  cpuTime=45.16  mem=22M625
48.38	   
48.38	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=22M625)
58.21	   
58.21	   search
58.21	     run=10  nbConstraintChecks=46298922  nbValidityChecks=112619936  nbPropagations=106641  nbRevisions=19877215
58.21	     nbUselessRevisions=19271455  nbAssignments=7124  nbFailedAssignments=5068  nbBacktracks=1710  nbVisitedNodes=13090
58.21	     nbRestartNogoods=96
58.21	       =>  wckTime=57.169  cpuTime=56.64  mem=22M625
71.37	   
71.38	   search
71.38	     run=11  nbConstraintChecks=57338652  nbValidityChecks=134145276  nbPropagations=152583  nbRevisions=28298587
71.38	     nbUselessRevisions=27409051  nbAssignments=9393  nbFailedAssignments=6458  nbBacktracks=2574  nbVisitedNodes=17408
71.38	     nbRestartNogoods=112
71.38	       =>  wckTime=70.335  cpuTime=69.67  mem=22M625
95.24	   
95.24	   search
95.24	     run=12  nbConstraintChecks=77157715  nbValidityChecks=173358906  nbPropagations=222851  nbRevisions=40788247
95.24	     nbUselessRevisions=39482375  nbAssignments=14428  nbFailedAssignments=10153  nbBacktracks=3871
95.24	     nbVisitedNodes=27190  nbRestartNogoods=137
95.24	       =>  wckTime=94.204  cpuTime=93.32  mem=22M625
145.81	   
145.81	   search
145.81	     run=13  nbConstraintChecks=119984959  nbValidityChecks=252633925  nbPropagations=341331  nbRevisions=61540933
145.81	     nbUselessRevisions=59553044  nbAssignments=24252  nbFailedAssignments=17999  nbBacktracks=5817
145.81	     nbVisitedNodes=46633  nbRestartNogoods=156
145.81	       =>  wckTime=144.772  cpuTime=143.45  mem=22M625
187.41	   
187.41	   search
187.41	     run=14  nbConstraintChecks=152026567  nbValidityChecks=329587810  nbPropagations=515278  nbRevisions=91005489
187.41	     nbUselessRevisions=88102448  nbAssignments=35846  nbFailedAssignments=26627  nbBacktracks=8738
187.41	     nbVisitedNodes=69483  nbRestartNogoods=172
187.41	       =>  wckTime=186.368  cpuTime=184.65  mem=22M625
258.68	   
258.68	   search
258.68	     run=15  nbConstraintChecks=207968121  nbValidityChecks=466694681  nbPropagations=766641  nbRevisions=133485851
258.68	     nbUselessRevisions=129285731  nbAssignments=53153  nbFailedAssignments=39509  nbBacktracks=13116
258.68	     nbVisitedNodes=103081  nbRestartNogoods=192
258.68	       =>  wckTime=257.641  cpuTime=255.22  mem=22M625
367.24	   
367.24	   search
367.24	     run=16  nbConstraintChecks=292796883  nbValidityChecks=671124110  nbPropagations=1143327  nbRevisions=196569342
367.24	     nbUselessRevisions=190457357  nbAssignments=79424  nbFailedAssignments=59144  nbBacktracks=19684
367.24	     nbVisitedNodes=154172  nbRestartNogoods=229
367.24	       =>  wckTime=366.2  cpuTime=362.79  mem=22M625
554.92	   
554.92	   search
554.92	     run=17  nbConstraintChecks=445167319  nbValidityChecks=1018223991  nbPropagations=1703277  nbRevisions=292644946
554.92	     nbUselessRevisions=283397268  nbAssignments=120095  nbFailedAssignments=89853  nbBacktracks=29536
554.92	     nbVisitedNodes=233808  nbRestartNogoods=266
554.92	       =>  wckTime=553.877  cpuTime=548.74  mem=22M625
746.39	   
746.39	   search
746.39	     run=18  nbConstraintChecks=602310264  nbValidityChecks=1321595765  nbPropagations=2490124  nbRevisions=429057301
746.39	     nbUselessRevisions=415197437  nbAssignments=171400  nbFailedAssignments=126314  nbBacktracks=44314
746.39	     nbVisitedNodes=334564  nbRestartNogoods=295
746.39	       =>  wckTime=745.348  cpuTime=738.41  mem=22M625
992.38	   
992.38	   search
992.38	     run=19  nbConstraintChecks=803053893  nbValidityChecks=1703696216  nbPropagations=3583058  nbRevisions=619039874
992.38	     nbUselessRevisions=599108236  nbAssignments=239045  nbFailedAssignments=171786  nbBacktracks=66482
992.38	     nbVisitedNodes=465969  nbRestartNogoods=325
992.38	       =>  wckTime=991.339  cpuTime=982.16  mem=22M625
1380.21	   
1380.21	   search
1380.21	     run=20  nbConstraintChecks=1110577780  nbValidityChecks=2318985601  nbPropagations=5210754  nbRevisions=902707566
1380.21	     nbUselessRevisions=874406588  nbAssignments=347490  nbFailedAssignments=246973  nbBacktracks=99734
1380.21	     nbVisitedNodes=678781  nbRestartNogoods=347
1380.21	       =>  wckTime=1379.172  cpuTime=1366.46  mem=22M625

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/node18/watcher-197973-1168126551 -o ROOT/results/node18/solver-197973-1168126551 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197973-1168126551/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.34 1.37 1.48 4/94 7721
/proc/meminfo: memFree=955096/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=18540 CPUtime=0
/proc/7720/stat : 7720 (runsolver) R 7718 7720 7582 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 161050214 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/7720/statm: 4635 279 244 17 0 2626 0

[startup+0.103391 s]
/proc/loadavg: 1.34 1.37 1.48 4/94 7721
/proc/meminfo: memFree=955096/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=47416 CPUtime=0
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 1002 0 1 0 0 0 0 0 18 0 1 0 161050214 48553984 751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151971218 0 4 0 7368 0 0 0 17 0 0 0
/proc/7720/statm: 11854 751 607 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416

[startup+0.51543 s]
/proc/loadavg: 1.34 1.37 1.48 4/94 7721
/proc/meminfo: memFree=955096/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915328 CPUtime=0.41
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 6159 0 1 0 37 4 0 0 24 0 8 0 161050214 937295872 5898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228832 5898 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.34351 s]
/proc/loadavg: 1.34 1.37 1.48 3/101 7728
/proc/meminfo: memFree=900192/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1.23
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10290 0 1 0 115 8 0 0 25 0 8 0 161050214 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10028 2540 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.22
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 402 0 0 0 21 1 0 0 15 0 8 0 161050230 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915512

[startup+2.98067 s]
/proc/loadavg: 1.34 1.37 1.48 4/101 7728
/proc/meminfo: memFree=894368/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=2.85
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10396 0 1 0 277 8 0 0 25 0 8 0 161050214 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10132 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161050227 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.24
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 409 0 0 0 23 1 0 0 15 0 8 0 161050230 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915512

[startup+6.26299 s]
/proc/loadavg: 1.39 1.38 1.48 3/101 7728
/proc/meminfo: memFree=848032/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=6.11
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10415 0 1 0 602 9 0 0 25 0 8 0 161050214 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10148 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161050227 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.25
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 161050230 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915512

[startup+12.7516 s]
/proc/loadavg: 1.44 1.39 1.48 2/88 7730
/proc/meminfo: memFree=1516360/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=12.53
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10434 0 1 0 1244 9 0 0 25 0 8 0 161050214 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7720/statm: 228878 10164 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 17 0 8 0 161050227 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.26
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 419 0 0 0 25 1 0 0 15 0 8 0 161050230 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915512

[startup+25.6049 s]
/proc/loadavg: 1.37 1.38 1.48 3/89 7843
/proc/meminfo: memFree=1516096/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=25.36
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10478 0 1 0 2526 10 0 0 25 0 8 0 161050214 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073915801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10198 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.29
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 434 0 0 0 28 1 0 0 16 0 8 0 161050230 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915512

[startup+51.2263 s]
/proc/loadavg: 1.67 1.45 1.50 4/93 7956
/proc/meminfo: memFree=1510952/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=50.75
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10511 0 1 0 5064 11 0 0 25 0 8 0 161050214 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10230 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.29
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 435 0 0 0 28 1 0 0 16 0 8 0 161050230 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915512

[startup+102.45 s]
/proc/loadavg: 1.85 1.53 1.52 3/93 7956
/proc/meminfo: memFree=1510952/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=101.51
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10522 0 1 0 10140 11 0 0 25 0 8 0 161050214 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10241 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 438 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10241 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915512

[startup+162.527 s]
/proc/loadavg: 1.94 1.62 1.55 3/93 7956
/proc/meminfo: memFree=1510888/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=161.03
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10525 0 1 0 16092 11 0 0 25 0 8 0 161050214 937484288 10244 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073963594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1411.07
Current children cumulated vsize (KiB) 915512

[startup+1484.27 s]
/proc/loadavg: 2.04 2.00 1.87 3/93 7956
/proc/meminfo: memFree=1510312/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1470.61
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 147046 15 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.61
Current children cumulated vsize (KiB) 915512

[startup+1544.36 s]
/proc/loadavg: 2.01 2.00 1.87 3/99 8092
/proc/meminfo: memFree=1508968/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1530.06
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 152979 27 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073923304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.06
Current children cumulated vsize (KiB) 915512

[startup+1604.36 s]
/proc/loadavg: 2.00 2.00 1.88 3/93 8154
/proc/meminfo: memFree=1509984/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1589.44
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 158911 33 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.44
Current children cumulated vsize (KiB) 915512

[startup+1664.45 s]
/proc/loadavg: 2.00 2.00 1.88 3/93 8154
/proc/meminfo: memFree=1509992/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1648.98
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 164865 33 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073916679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.98
Current children cumulated vsize (KiB) 915512

[startup+1724.54 s]
/proc/loadavg: 2.00 2.00 1.89 3/93 8154
/proc/meminfo: memFree=1509992/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1708.48
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 170815 33 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918839 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.48
Current children cumulated vsize (KiB) 915512

[startup+1784.62 s]
/proc/loadavg: 2.00 2.00 1.90 3/93 8154
/proc/meminfo: memFree=1509992/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1767.99
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 176765 34 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.99
Current children cumulated vsize (KiB) 915512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.05 s]
/proc/loadavg: 2.11 2.03 1.91 3/93 8154
/proc/meminfo: memFree=1509992/2055920 swapFree=4192812/4192956
[pid=7720] ppid=7718 vsize=915512 CPUtime=1800.09
/proc/7720/stat : 7720 (java) R 7718 7720 7582 0 -1 0 10546 0 1 0 179975 34 0 0 25 0 8 0 161050214 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7720/statm: 228878 10265 2543 14 0 215348 0
[pid=7720/tid=7722] ppid=7718 vsize=915512 CPUtime=0.03
/proc/7720/task/7722/stat : 7722 (java) S 7718 7720 7582 0 -1 64 212 0 0 0 3 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7723] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7723/stat : 7723 (java) S 7718 7720 7582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7724] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7724/stat : 7724 (java) S 7718 7720 7582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161050227 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7725] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7725/stat : 7725 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7726] ppid=7718 vsize=915512 CPUtime=0.3
/proc/7720/task/7726/stat : 7726 (java) S 7718 7720 7582 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7727] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7727/stat : 7727 (java) S 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7720/tid=7728] ppid=7718 vsize=915512 CPUtime=0
/proc/7720/task/7728/stat : 7728 (java) R 7718 7720 7582 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161050230 937484288 10265 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915512

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

Child status: 143
Real time (s): 1817.11
CPU time (s): 1800.16
CPU user time (s): 1799.81
CPU system time (s): 0.350946
CPU usage (%): 99.0671
Max. virtual memory (cumulated for all children) (KiB): 915512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.350946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10564
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= 38070
involuntary context switches= 81035

runsolver used 2.06369 s user time and 5.97709 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Sat Jan  6 23:35:53 UTC 2007


IDJOB= 197973
IDBENCH= 3526
FILE ID= node18/197973-1168126551

PBS_JOBID= 3477690

Free space on /tmp= 66284 MiB

BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-67-11-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197973-1168126551/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-197973-1168126551 -o ROOT/results/node18/solver-197973-1168126551 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197973-1168126551/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c6e220e6af1aeef3c7ef15ce910420b7

RANDOM SEED= 297569217

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.231
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.231
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:        980344 kB
Buffers:         34656 kB
Cached:         364484 kB
SwapCached:         20 kB
Active:         789000 kB
Inactive:       236384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        980344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2076 kB
Writeback:           0 kB
Mapped:         654192 kB
Slab:            33944 kB
Committed_AS:  5065912 kB
PageTables:       3272 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= 66284 MiB



End job on node18 on Sun Jan  7 00:06:12 UTC 2007