Trace number 221265

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.07 1818.01

General information on the benchmark

NamequeenAttacking/
queenAttacking-12.xml
MD5SUM60c30a794f534be6c1ae5db134baea56
Bench Category2-ARY-INT (binary 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 variables145
Number of constraints10330
Maximum constraint arity2
Maximum domain size144
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10330
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/221265-1168257104/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.41	     nbVariables=145  nbDomainTypes=2  minDomainSize=21  maxDomainSize=144
0.41	       =>  wckTime=0.115  cpuTime=0.1  mem=7M862
0.41	   
0.41	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
1.78	     nbConstraints=10330  nbConvertedConstraints=10330  nbConvertConstraintsChecks=44496  nbExtensionStructures=3
1.78	     nbSharedExtensionStructures=10327  nbConflictsStructures=3  nbSharedConflictsStructures=10327
1.78	     nbSharedBinaryRepresentations=338  maxDegree=144  maxArity=2
1.78	       =>  wckTime=1.481  cpuTime=1.23  mem=9M754
1.84	   
1.84	   solver IterativeSystematicSolver being built... 
2.01	       =>  wckTime=1.709  cpuTime=1.36  mem=21M469
2.65	   
2.65	   preprocessing
2.65	     nbConstraintChecks=2711923  nbPropagations=9767  nbRevisions=43936  nbUselessRevisions=31059  nbSingletonTests=163
2.65	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=510  detectedInconsistency=no
2.65	       =>  wckTime=0.64  cpuTime=0.61  mem=21M469
2.96	   
2.96	   search
2.96	     run=0  nbConstraintChecks=600091  nbPropagations=12050  nbRevisions=54922  nbUselessRevisions=37609
2.96	     nbAssignments=36  nbFailedAssignments=10  nbBacktracks=12  nbVisitedNodes=54  nbRestartNogoods=0  mapSize=9
2.96	     nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=0.947  cpuTime=0.9  mem=21M469
3.21	   
3.21	   search
3.21	     run=1  nbConstraintChecks=1889433  nbPropagations=28639  nbRevisions=130556  nbUselessRevisions=87730
3.21	     nbAssignments=105  nbFailedAssignments=26  nbBacktracks=30  nbVisitedNodes=128  nbRestartNogoods=2  mapSize=22
3.21	     nbInferences=0  nbTooLargeKeys=0
3.21	       =>  wckTime=1.204  cpuTime=1.16  mem=21M469
3.51	   
3.51	   search
3.52	     run=2  nbConstraintChecks=3446624  nbPropagations=50455  nbRevisions=230510  nbUselessRevisions=152797
3.52	     nbAssignments=183  nbFailedAssignments=42  nbBacktracks=53  nbVisitedNodes=212  nbRestartNogoods=5  mapSize=39
3.52	     nbInferences=0  nbTooLargeKeys=0
3.52	       =>  wckTime=1.505  cpuTime=1.45  mem=22M463
3.74	   
3.74	   search
3.74	     run=3  nbConstraintChecks=4751324  nbPropagations=76143  nbRevisions=355141  nbUselessRevisions=232756
3.74	     nbAssignments=273  nbFailedAssignments=82  nbBacktracks=88  nbVisitedNodes=359  nbRestartNogoods=7  mapSize=69
3.74	     nbInferences=0  nbTooLargeKeys=0
3.74	       =>  wckTime=1.732  cpuTime=1.68  mem=22M463
3.99	   
3.99	   search
3.99	     run=4  nbConstraintChecks=6184521  nbPropagations=105940  nbRevisions=508773  nbUselessRevisions=330467
3.99	     nbAssignments=377  nbFailedAssignments=124  nbBacktracks=138  nbVisitedNodes=528  nbRestartNogoods=9  mapSize=108
3.99	     nbInferences=0  nbTooLargeKeys=0
3.99	       =>  wckTime=1.976  cpuTime=1.92  mem=22M463
4.44	   
4.44	   search
4.44	     run=5  nbConstraintChecks=8639322  nbPropagations=143726  nbRevisions=715718  nbUselessRevisions=459353
4.44	     nbAssignments=549  nbFailedAssignments=206  nbBacktracks=214  nbVisitedNodes=824  nbRestartNogoods=10  mapSize=173
4.44	     nbInferences=0  nbTooLargeKeys=0
4.44	       =>  wckTime=2.433  cpuTime=2.37  mem=22M463
5.16	   
5.16	   search
5.16	     run=6  nbConstraintChecks=12897254  nbPropagations=193459  nbRevisions=1005085  nbUselessRevisions=636405
5.16	     nbAssignments=815  nbFailedAssignments=331  nbBacktracks=328  nbVisitedNodes=1256  nbRestartNogoods=15  mapSize=263
5.16	     nbInferences=0  nbTooLargeKeys=0
5.16	       =>  wckTime=3.147  cpuTime=3.07  mem=22M463
5.68	   
5.68	   search
5.68	     run=7  nbConstraintChecks=15263227  nbPropagations=252756  nbRevisions=1364138  nbUselessRevisions=858042
5.68	     nbAssignments=1136  nbFailedAssignments=423  nbBacktracks=505  nbVisitedNodes=1732  nbRestartNogoods=19
5.68	     mapSize=377  nbInferences=0  nbTooLargeKeys=0
5.68	       =>  wckTime=3.668  cpuTime=3.58  mem=23M458
6.48	   
6.48	   search
6.48	     run=8  nbConstraintChecks=18675816  nbPropagations=326024  nbRevisions=1868828  nbUselessRevisions=1173913
6.48	     nbAssignments=1684  nbFailedAssignments=654  nbBacktracks=769  nbVisitedNodes=2589  nbRestartNogoods=22
6.48	     mapSize=541  nbInferences=0  nbTooLargeKeys=0
6.48	       =>  wckTime=4.47  cpuTime=4.37  mem=23M458
7.63	   
7.63	   search
7.63	     run=9  nbConstraintChecks=24051741  nbPropagations=419370  nbRevisions=2552719  nbUselessRevisions=1603518
7.63	     nbAssignments=2362  nbFailedAssignments=901  nbBacktracks=1156  nbVisitedNodes=3621  nbRestartNogoods=24
7.63	     mapSize=732  nbInferences=0  nbTooLargeKeys=0
7.63	       =>  wckTime=5.619  cpuTime=5.5  mem=24M453
8.80	   
8.80	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=25M447)
8.96	   
8.96	   search
8.96	     run=10  nbConstraintChecks=30990429  nbPropagations=538750  nbRevisions=3477290  nbUselessRevisions=2193060
8.96	     nbAssignments=3260  nbFailedAssignments=1091  nbBacktracks=1742  nbVisitedNodes=4900  nbRestartNogoods=32
8.96	       =>  wckTime=6.953  cpuTime=6.81  mem=25M447
12.02	   
12.02	   search
12.02	     run=11  nbConstraintChecks=44153975  nbPropagations=719097  nbRevisions=4841924  nbUselessRevisions=3059700
12.02	     nbAssignments=4827  nbFailedAssignments=1754  nbBacktracks=2609  nbVisitedNodes=7458  nbRestartNogoods=34
12.02	       =>  wckTime=10.006  cpuTime=9.83  mem=25M447
15.02	   
15.02	   search
15.02	     run=12  nbConstraintChecks=59997997  nbPropagations=954906  nbRevisions=6697215  nbUselessRevisions=4232528
15.02	     nbAssignments=6818  nbFailedAssignments=2398  nbBacktracks=3911  nbVisitedNodes=10401  nbRestartNogoods=37
15.02	       =>  wckTime=13.014  cpuTime=12.81  mem=25M447
22.94	   
22.94	   search
22.94	     run=13  nbConstraintChecks=96362643  nbPropagations=1352445  nbRevisions=9693511  nbUselessRevisions=6118539
22.94	     nbAssignments=10610  nbFailedAssignments=4099  nbBacktracks=5859  nbVisitedNodes=16643  nbRestartNogoods=48
22.94	       =>  wckTime=20.933  cpuTime=20.63  mem=25M447
31.85	   
31.85	   search
31.85	     run=14  nbConstraintChecks=142167100  nbPropagations=1913984  nbRevisions=14418050  nbUselessRevisions=9144136
31.85	     nbAssignments=15402  nbFailedAssignments=5864  nbBacktracks=8779  nbVisitedNodes=24087  nbRestartNogoods=54
31.85	       =>  wckTime=29.84  cpuTime=29.45  mem=25M447
48.93	   
48.93	   search
48.93	     run=15  nbConstraintChecks=248063511  nbPropagations=2791014  nbRevisions=22367461  nbUselessRevisions=14267088
48.93	     nbAssignments=24230  nbFailedAssignments=10103  nbBacktracks=13157  nbVisitedNodes=38636  nbRestartNogoods=69
48.93	       =>  wckTime=46.923  cpuTime=46.37  mem=25M447
74.22	   
74.22	   search
74.22	     run=16  nbConstraintChecks=381956282  nbPropagations=4127362  nbRevisions=35830560  nbUselessRevisions=23330407
74.22	     nbAssignments=37642  nbFailedAssignments=16750  nbBacktracks=19728  nbVisitedNodes=61347  nbRestartNogoods=84
74.22	       =>  wckTime=72.207  cpuTime=71.39  mem=25M447
106.40	   
106.40	   search
106.40	     run=17  nbConstraintChecks=575540278  nbPropagations=6073734  nbRevisions=55436688  nbUselessRevisions=36867329
106.40	     nbAssignments=57674  nbFailedAssignments=26800  nbBacktracks=29580  nbVisitedNodes=96115  nbRestartNogoods=96
106.40	       =>  wckTime=104.388  cpuTime=103.27  mem=25M447
174.79	   
174.79	   search
174.79	     run=18  nbConstraintChecks=983659601  nbPropagations=9233252  nbRevisions=86417124  nbUselessRevisions=58110096
174.79	     nbAssignments=88153  nbFailedAssignments=42352  nbBacktracks=44358  nbVisitedNodes=149553  nbRestartNogoods=115
174.79	       =>  wckTime=172.782  cpuTime=170.97  mem=25M447
264.51	   
264.51	   search
264.51	     run=19  nbConstraintChecks=1500705078  nbPropagations=14052149  nbRevisions=134215714  nbUselessRevisions=91265276
264.51	     nbAssignments=130912  nbFailedAssignments=62875  nbBacktracks=66527  nbVisitedNodes=224203  nbRestartNogoods=126
264.51	       =>  wckTime=262.5  cpuTime=259.8  mem=25M447
376.15	   
376.15	   search
376.15	     run=20  nbConstraintChecks=2177068098  nbPropagations=20845174  nbRevisions=214714567  nbUselessRevisions=149882180
376.15	     nbAssignments=192572  nbFailedAssignments=91209  nbBacktracks=99779  nbVisitedNodes=328338  nbRestartNogoods=147
376.15	       =>  wckTime=374.145  cpuTime=370.36  mem=25M447
595.66	   
595.66	   search
595.66	     run=21  nbConstraintChecks=3471927206  nbPropagations=31654609  nbRevisions=340635392  nbUselessRevisions=241221340
595.66	     nbAssignments=303028  nbFailedAssignments=151594  nbBacktracks=149657  nbVisitedNodes=524341  nbRestartNogoods=159
595.66	       =>  wckTime=593.654  cpuTime=587.62  mem=25M447
905.16	   
905.16	   search
905.16	     run=22  nbConstraintChecks=5166173055  nbPropagations=48090933  nbRevisions=520832763  nbUselessRevisions=369503630
905.16	     nbAssignments=461903  nbFailedAssignments=235517  nbBacktracks=224475  nbVisitedNodes=802033  nbRestartNogoods=176
905.16	       =>  wckTime=903.147  cpuTime=894.01  mem=25M447
1442.02	   
1442.03	   search
1442.03	     run=23  nbConstraintChecks=8270605800  nbPropagations=74048008  nbRevisions=794201978  nbUselessRevisions=561081463
1442.03	     nbAssignments=707955  nbFailedAssignments=369321  nbBacktracks=336707  nbVisitedNodes=1238838  nbRestartNogoods=195
1442.03	       =>  wckTime=1440.015  cpuTime=1425.55  mem=25M447

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/node17/watcher-221265-1168257104 -o ROOT/results/node17/solver-221265-1168257104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221265-1168257104/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: 2.22 1.73 1.08 3/94 20156
/proc/meminfo: memFree=1477288/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=18540 CPUtime=0
/proc/20155/stat : 20155 (runsolver) R 20153 20155 19482 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 174105180 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20155/statm: 4635 279 244 17 0 2626 0

[startup+0.107927 s]
/proc/loadavg: 2.22 1.73 1.08 3/94 20156
/proc/meminfo: memFree=1477288/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=914988 CPUtime=0.09
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 3065 0 1 0 8 1 0 0 22 0 8 0 174105180 936947712 2811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155477684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515968 s]
/proc/loadavg: 2.22 1.73 1.08 3/94 20156
/proc/meminfo: memFree=1477288/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915328 CPUtime=0.49
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 6560 0 1 0 45 4 0 0 25 0 8 0 174105180 937295872 6299 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228832 6299 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34005 s]
/proc/loadavg: 2.20 1.73 1.09 3/101 20163
/proc/meminfo: memFree=1398704/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915632 CPUtime=1.31
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 15110 0 1 0 100 31 0 0 25 0 8 0 174105180 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228908 14848 2169 14 0 215378 0
[pid=20155/tid=20157] ppid=20153 vsize=915632 CPUtime=0
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 174105184 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915632 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 174105184 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915632 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 174105184 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915632 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915632 CPUtime=0.17
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 426 0 0 0 16 1 0 0 16 0 8 0 174105187 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915632 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915632 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937607168 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915632

[startup+2.98723 s]
/proc/loadavg: 2.20 1.73 1.09 3/101 20163
/proc/meminfo: memFree=1375472/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=2.94
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20370 0 1 0 247 47 0 0 25 0 8 0 174105180 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991214 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20105 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 17 0 8 0 174105184 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.25
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 481 0 0 0 24 1 0 0 15 0 8 0 174105187 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915716

[startup+6.26657 s]
/proc/loadavg: 2.26 1.75 1.10 3/101 20163
/proc/meminfo: memFree=1296624/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=6.18
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20381 0 1 0 571 47 0 0 25 0 8 0 174105180 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20113 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 17 0 8 0 174105184 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.27
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 490 0 0 0 26 1 0 0 15 0 8 0 174105187 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915716

[startup+12.7622 s]
/proc/loadavg: 2.24 1.75 1.10 3/102 20164
/proc/meminfo: memFree=1290408/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=12.62
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20396 0 1 0 1215 47 0 0 25 0 8 0 174105180 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989141 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20124 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.3
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 503 0 0 0 28 2 0 0 17 0 8 0 174105187 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915716

[startup+25.6136 s]
/proc/loadavg: 2.20 1.76 1.11 4/102 20164
/proc/meminfo: memFree=1290472/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=25.32
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20397 0 1 0 2484 48 0 0 25 0 8 0 174105180 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998554 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20125 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 504 0 0 0 29 2 0 0 15 0 8 0 174105187 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20125 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915716

[startup+51.2532 s]
/proc/loadavg: 2.12 1.78 1.14 3/102 20164
/proc/meminfo: memFree=1290536/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=50.72
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20399 0 1 0 5024 48 0 0 25 0 8 0 174105180 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073992653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20126 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 505 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915716

[startup+102.488 s]
/proc/loadavg: 2.05 1.81 1.18 3/102 20164
/proc/meminfo: memFree=1290472/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=101.45
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20399 0 1 0 10097 48 0 0 25 0 8 0 174105180 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20126 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 505 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915716

[startup+162.577 s]
/proc/loadavg: 2.02 1.85 1.23 3/102 20164
/proc/meminfo: memFree=1286248/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=160.92
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20399 0 1 0 16044 48 0 0 25 0 8 0 174105180 937693184 20126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1409.98
Current children cumulated vsize (KiB) 915716

[startup+1484.3 s]
/proc/loadavg: 2.09 2.03 1.80 3/102 20362
/proc/meminfo: memFree=965544/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1469.47
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 146882 65 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1469.47
Current children cumulated vsize (KiB) 915716

[startup+1544.32 s]
/proc/loadavg: 2.14 2.05 1.82 3/102 20362
/proc/meminfo: memFree=965544/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1528.88
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 152823 65 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074002104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.88
Current children cumulated vsize (KiB) 915716

[startup+1604.39 s]
/proc/loadavg: 2.05 2.04 1.82 4/102 20362
/proc/meminfo: memFree=926120/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1588.36
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 158770 66 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.36
Current children cumulated vsize (KiB) 915716

[startup+1664.45 s]
/proc/loadavg: 2.02 2.03 1.83 3/102 20364
/proc/meminfo: memFree=925864/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1647.83
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 164717 66 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.83
Current children cumulated vsize (KiB) 915716

[startup+1724.55 s]
/proc/loadavg: 2.00 2.02 1.84 4/102 20364
/proc/meminfo: memFree=885288/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1707.34
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 170668 66 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.34
Current children cumulated vsize (KiB) 915716

[startup+1784.55 s]
/proc/loadavg: 2.00 2.02 1.84 3/102 20364
/proc/meminfo: memFree=885288/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1766.72
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 176606 66 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.72
Current children cumulated vsize (KiB) 915716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.96 s]
/proc/loadavg: 1.72 1.95 1.82 2/85 20380
/proc/meminfo: memFree=1587856/2055920 swapFree=4192812/4192956
[pid=20155] ppid=20153 vsize=915716 CPUtime=1800.02
/proc/20155/stat : 20155 (java) R 20153 20155 19482 0 -1 0 20402 0 1 0 179935 67 0 0 25 0 8 0 174105180 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20155/statm: 228929 20128 2545 14 0 215399 0
[pid=20155/tid=20157] ppid=20153 vsize=915716 CPUtime=0.14
/proc/20155/task/20157/stat : 20157 (java) S 20153 20155 19482 0 -1 64 3261 0 0 0 14 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20158/stat : 20158 (java) S 20153 20155 19482 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20159/stat : 20159 (java) S 20153 20155 19482 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174105184 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20160/stat : 20160 (java) S 20153 20155 19482 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=915716 CPUtime=0.31
/proc/20155/task/20161/stat : 20161 (java) S 20153 20155 19482 0 -1 64 507 0 0 0 29 2 0 0 16 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20162/stat : 20162 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=915716 CPUtime=0
/proc/20155/task/20163/stat : 20163 (java) S 20153 20155 19482 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174105187 937693184 20128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915716

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

Child status: 143
Real time (s): 1818.01
CPU time (s): 1800.07
CPU user time (s): 1799.39
CPU system time (s): 0.681896
CPU usage (%): 99.0132
Max. virtual memory (cumulated for all children) (KiB): 915716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.681896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20420
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= 38257
involuntary context switches= 89115

runsolver used 2.13867 s user time and 5.9301 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Jan  8 11:51:44 UTC 2007


IDJOB= 221265
IDBENCH= 5405
FILE ID= node17/221265-1168257104

PBS_JOBID= 3482404

Free space on /tmp= 66321 MiB

BENCH NAME= HOME/pub/bench/CPAI06/queenAttacking/queenAttacking-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221265-1168257104/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-221265-1168257104 -o ROOT/results/node17/solver-221265-1168257104 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221265-1168257104/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  60c30a794f534be6c1ae5db134baea56

RANDOM SEED= 371726794

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1477768 kB
Buffers:         63772 kB
Cached:         220876 kB
SwapCached:          0 kB
Active:         371216 kB
Inactive:       142092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1477768 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7620 kB
Writeback:           0 kB
Mapped:         256772 kB
Slab:            49116 kB
Committed_AS:  5696484 kB
PageTables:       2680 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= 66326 MiB



End job on node17 on Mon Jan  8 12:22:02 UTC 2007