Trace number 221282

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.07 1801.04

General information on the benchmark

NamequeenAttacking/
queenAttacking-9.xml
MD5SUM08845c86b3cd6b454c691cd67cb94d14
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
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables82
Number of constraints3262
Maximum constraint arity2
Maximum domain size81
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3262
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/221282-1168080023/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=82  nbDomainTypes=2  minDomainSize=15  maxDomainSize=81
0.43	       =>  wckTime=0.107  cpuTime=0.1  mem=6M902
0.43	   
0.43	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
1.04	     nbConstraints=3262  nbConvertedConstraints=3262  nbConvertConstraintsChecks=14337  nbExtensionStructures=3
1.04	     nbSharedExtensionStructures=3259  nbConflictsStructures=3  nbSharedConflictsStructures=3259
1.04	     nbSharedBinaryRepresentations=180  maxDegree=81  maxArity=2
1.04	       =>  wckTime=0.722  cpuTime=0.58  mem=22M505
1.10	   
1.10	   solver IterativeSystematicSolver being built... 
1.25	       =>  wckTime=0.932  cpuTime=0.7  mem=15M32
1.27	   
1.27	   preprocessing
1.27	     nbConstraintChecks=5334  nbPropagations=82  nbRevisions=66  nbUselessRevisions=44  nbRemovedValues=132
1.27	     detectedInconsistency=no
1.27	       =>  wckTime=0.018  cpuTime=0.01  mem=15M32
1.38	   
1.38	   search
1.38	     run=0  nbConstraintChecks=122195  nbPropagations=1398  nbRevisions=5287  nbUselessRevisions=2889  nbAssignments=28
1.38	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=45  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.38	     nbTooLargeKeys=0
1.38	       =>  wckTime=0.124  cpuTime=0.1  mem=16M23
1.44	   
1.44	   search
1.44	     run=1  nbConstraintChecks=275398  nbPropagations=4444  nbRevisions=17477  nbUselessRevisions=9568  nbAssignments=65
1.44	     nbFailedAssignments=20  nbBacktracks=26  nbVisitedNodes=106  nbRestartNogoods=3  mapSize=26  nbInferences=0
1.44	     nbTooLargeKeys=0
1.44	       =>  wckTime=0.187  cpuTime=0.15  mem=16M23
1.51	   
1.51	   search
1.51	     run=2  nbConstraintChecks=470759  nbPropagations=9646  nbRevisions=38985  nbUselessRevisions=21294
1.51	     nbAssignments=115  nbFailedAssignments=38  nbBacktracks=51  nbVisitedNodes=191  nbRestartNogoods=6  mapSize=51
1.51	     nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.257  cpuTime=0.22  mem=16M23
1.57	   
1.57	   search
1.57	     run=3  nbConstraintChecks=698472  nbPropagations=16996  nbRevisions=71526  nbUselessRevisions=39677
1.58	     nbAssignments=197  nbFailedAssignments=51  nbBacktracks=84  nbVisitedNodes=299  nbRestartNogoods=7  mapSize=67
1.58	     nbInferences=0  nbTooLargeKeys=0
1.58	       =>  wckTime=0.32  cpuTime=0.29  mem=16M23
1.65	   
1.65	   search
1.65	     run=4  nbConstraintChecks=967709  nbPropagations=27025  nbRevisions=118650  nbUselessRevisions=66779
1.65	     nbAssignments=311  nbFailedAssignments=78  nbBacktracks=134  nbVisitedNodes=462  nbRestartNogoods=14  mapSize=96
1.65	     nbInferences=1  nbTooLargeKeys=0
1.65	       =>  wckTime=0.398  cpuTime=0.36  mem=16M23
1.74	   
1.74	   search
1.74	     run=5  nbConstraintChecks=1237491  nbPropagations=39817  nbRevisions=180823  nbUselessRevisions=102912
1.74	     nbAssignments=444  nbFailedAssignments=101  nbBacktracks=210  nbVisitedNodes=634  nbRestartNogoods=19  mapSize=124
1.74	     nbInferences=2  nbTooLargeKeys=0
1.74	       =>  wckTime=0.481  cpuTime=0.45  mem=16M23
1.87	   
1.87	   search
1.87	     run=6  nbConstraintChecks=1663912  nbPropagations=56967  nbRevisions=271070  nbUselessRevisions=156576
1.87	     nbAssignments=652  nbFailedAssignments=164  nbBacktracks=325  nbVisitedNodes=942  nbRestartNogoods=22  mapSize=187
1.87	     nbInferences=2  nbTooLargeKeys=0
1.87	       =>  wckTime=0.611  cpuTime=0.58  mem=16M23
2.01	   
2.01	   search
2.01	     run=7  nbConstraintChecks=2109142  nbPropagations=78798  nbRevisions=388695  nbUselessRevisions=226320
2.01	     nbAssignments=915  nbFailedAssignments=219  nbBacktracks=496  nbVisitedNodes=1302  nbRestartNogoods=27  mapSize=254
2.01	     nbInferences=2  nbTooLargeKeys=0
2.01	       =>  wckTime=0.753  cpuTime=0.72  mem=16M23
2.26	   
2.26	   search
2.26	     run=8  nbConstraintChecks=2917011  nbPropagations=109152  nbRevisions=573130  nbUselessRevisions=339036
2.26	     nbAssignments=1324  nbFailedAssignments=340  nbBacktracks=754  nbVisitedNodes=1902  nbRestartNogoods=31
2.26	     mapSize=367  nbInferences=3  nbTooLargeKeys=0
2.26	       =>  wckTime=1.005  cpuTime=0.97  mem=16M23
2.71	   
2.71	   search
2.71	     run=9  nbConstraintChecks=4355212  nbPropagations=155100  nbRevisions=872261  nbUselessRevisions=524673
2.71	     nbAssignments=2081  nbFailedAssignments=679  nbBacktracks=1141  nbVisitedNodes=3151  nbRestartNogoods=39
2.71	     mapSize=602  nbInferences=3  nbTooLargeKeys=0
2.71	       =>  wckTime=1.451  cpuTime=1.39  mem=16M998
3.34	   
3.34	   search
3.34	     run=10  nbConstraintChecks=6575974  nbPropagations=224384  nbRevisions=1346908  nbUselessRevisions=822035
3.34	     nbAssignments=3063  nbFailedAssignments=1059  nbBacktracks=1719  nbVisitedNodes=4749  nbRestartNogoods=42
3.34	     mapSize=957  nbInferences=3  nbTooLargeKeys=0
3.34	       =>  wckTime=2.083  cpuTime=2.02  mem=16M998
3.49	   
3.49	   INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=16M998)
4.16	   
4.16	   search
4.16	     run=11  nbConstraintChecks=9153609  nbPropagations=324873  nbRevisions=2084450  nbUselessRevisions=1290645
4.16	     nbAssignments=4572  nbFailedAssignments=1672  nbBacktracks=2587  nbVisitedNodes=7166  nbRestartNogoods=48
4.16	       =>  wckTime=2.906  cpuTime=2.84  mem=16M998
5.50	   
5.50	   search
5.50	     run=12  nbConstraintChecks=14005724  nbPropagations=475585  nbRevisions=3211814  nbUselessRevisions=2019319
5.50	     nbAssignments=6783  nbFailedAssignments=2564  nbBacktracks=3884  nbVisitedNodes=10811  nbRestartNogoods=56
5.50	       =>  wckTime=4.249  cpuTime=4.17  mem=16M998
7.35	   
7.35	   search
7.35	     run=13  nbConstraintChecks=20451467  nbPropagations=695105  nbRevisions=4935649  nbUselessRevisions=3177078
7.35	     nbAssignments=10356  nbFailedAssignments=4168  nbBacktracks=5835  nbVisitedNodes=16777  nbRestartNogoods=70
7.35	       =>  wckTime=6.096  cpuTime=6.02  mem=16M998
10.37	   
10.37	   search
10.37	     run=14  nbConstraintChecks=32346483  nbPropagations=1020588  nbRevisions=7994212  nbUselessRevisions=5358912
10.37	     nbAssignments=15801  nbFailedAssignments=6673  nbBacktracks=8754  nbVisitedNodes=26009  nbRestartNogoods=78
10.37	       =>  wckTime=9.116  cpuTime=9.04  mem=16M998
13.26	   
13.26	   search
13.26	     run=15  nbConstraintChecks=41779163  nbPropagations=1456503  nbRevisions=12563999  nbUselessRevisions=8765772
13.26	     nbAssignments=22397  nbFailedAssignments=8854  nbBacktracks=13135  nbVisitedNodes=36159  nbRestartNogoods=99
13.26	       =>  wckTime=12.003  cpuTime=11.92  mem=16M998
18.60	   
18.60	   search
18.60	     run=16  nbConstraintChecks=64646487  nbPropagations=2096298  nbRevisions=19499508  nbUselessRevisions=13903874
18.60	     nbAssignments=33733  nbFailedAssignments=13596  nbBacktracks=19704  nbVisitedNodes=54482  nbRestartNogoods=115
18.60	       =>  wckTime=17.342  cpuTime=17.24  mem=16M998
30.12	   
30.12	   search
30.12	     run=17  nbConstraintChecks=107209720  nbPropagations=3173490  nbRevisions=30589311  nbUselessRevisions=21966080
30.12	     nbAssignments=53216  nbFailedAssignments=23203  nbBacktracks=29556  nbVisitedNodes=87653  nbRestartNogoods=124
30.12	       =>  wckTime=28.863  cpuTime=28.71  mem=16M998
47.02	   
47.02	   search
47.02	     run=18  nbConstraintChecks=170324957  nbPropagations=4873776  nbRevisions=47974890  nbUselessRevisions=34562793
47.02	     nbAssignments=81501  nbFailedAssignments=36689  nbBacktracks=44335  nbVisitedNodes=136009  nbRestartNogoods=142
47.02	       =>  wckTime=45.762  cpuTime=45.55  mem=16M998
70.86	   
70.86	   search
70.86	     run=19  nbConstraintChecks=248956936  nbPropagations=7390459  nbRevisions=73489516  nbUselessRevisions=53210824
70.86	     nbAssignments=124593  nbFailedAssignments=57593  nbBacktracks=66503  nbVisitedNodes=211297  nbRestartNogoods=165
70.86	       =>  wckTime=69.605  cpuTime=69.35  mem=16M998
110.32	   
110.32	   search
110.32	     run=20  nbConstraintChecks=379535137  nbPropagations=11244018  nbRevisions=112478238  nbUselessRevisions=82022020
110.32	     nbAssignments=187385  nbFailedAssignments=87116  nbBacktracks=99759  nbVisitedNodes=320826  nbRestartNogoods=176
110.32	       =>  wckTime=109.061  cpuTime=108.8  mem=16M998
168.38	   
168.38	   search
168.38	     run=21  nbConstraintChecks=562152332  nbPropagations=16991360  nbRevisions=174295659  nbUselessRevisions=128724595
168.38	     nbAssignments=280546  nbFailedAssignments=130378  nbBacktracks=149637  nbVisitedNodes=480152  nbRestartNogoods=182
168.38	       =>  wckTime=167.121  cpuTime=166.84  mem=16M998
208.54	   
208.54	   search
208.54	     run=22  nbConstraintChecks=672487059  nbPropagations=24137310  nbRevisions=260820381  nbUselessRevisions=196941637
208.54	     nbAssignments=384759  nbFailedAssignments=159736  nbBacktracks=224457  nbVisitedNodes=635231  nbRestartNogoods=199
208.54	       =>  wckTime=207.289  cpuTime=206.99  mem=16M998
324.08	   
324.09	   search
324.09	     run=23  nbConstraintChecks=1064452746  nbPropagations=35459901  nbRevisions=396106551  nbUselessRevisions=302014690
324.09	     nbAssignments=611481  nbFailedAssignments=274200  nbBacktracks=336684  nbVisitedNodes=1030352  nbRestartNogoods=217
324.09	       =>  wckTime=322.83  cpuTime=322.5  mem=16M998
515.09	   
515.09	   search
515.09	     run=24  nbConstraintChecks=1725315187  nbPropagations=53254496  nbRevisions=596374492  nbUselessRevisions=455220995
515.09	     nbAssignments=950071  nbFailedAssignments=444426  nbBacktracks=505028  nbVisitedNodes=1630933  nbRestartNogoods=234
515.09	       =>  wckTime=513.84  cpuTime=513.45  mem=16M998
775.91	   
775.91	   search
775.91	     run=25  nbConstraintChecks=2602438790  nbPropagations=79860716  nbRevisions=882607516  nbUselessRevisions=673742385
775.91	     nbAssignments=1392851  nbFailedAssignments=634674  nbBacktracks=757539  nbVisitedNodes=2390814
775.91	     nbRestartNogoods=262
775.91	       =>  wckTime=774.651  cpuTime=774.18  mem=16M998
1042.91	   
1042.91	   search
1042.91	     run=26  nbConstraintChecks=3483542428  nbPropagations=115693228  nbRevisions=1313293393
1042.91	     nbUselessRevisions=1012915480  nbAssignments=1999434  nbFailedAssignments=862455  nbBacktracks=1136311
1042.91	     nbVisitedNodes=3353150  nbRestartNogoods=278
1042.91	       =>  wckTime=1041.66  cpuTime=1041.08  mem=16M998
1617.01	   
1617.01	   search
1617.01	     run=27  nbConstraintChecks=5685134657  nbPropagations=171528497  nbRevisions=2014550410
1617.01	     nbUselessRevisions=1559435904  nbAssignments=3103211  nbFailedAssignments=1398042  nbBacktracks=1704466
1617.01	     nbVisitedNodes=5232151  nbRestartNogoods=297
1617.01	       =>  wckTime=1615.751  cpuTime=1614.79  mem=16M998

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/node51/watcher-221282-1168080023 -o ROOT/results/node51/solver-221282-1168080023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221282-1168080023/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: 0.42 0.75 0.95 4/69 690
/proc/meminfo: memFree=1464248/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=172 CPUtime=0
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156401370 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2617643 0 0 4096 0 0 0 0 17 1 0 0
/proc/689/statm: 43 24 18 14 0 3 0

[startup+0.104094 s]
/proc/loadavg: 0.42 0.75 0.95 4/69 690
/proc/meminfo: memFree=1464248/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=912760 CPUtime=0.07
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 2772 0 1 0 5 2 0 0 21 0 8 0 156401370 934666240 2518 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/689/statm: 228190 2518 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.512163 s]
/proc/loadavg: 0.42 0.75 0.95 4/69 690
/proc/meminfo: memFree=1464248/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915328 CPUtime=0.47
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 6390 0 1 0 42 5 0 0 16 0 8 0 156401370 937295872 6129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073594031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228832 6129 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.3343 s]
/proc/loadavg: 0.42 0.75 0.95 2/75 723
/proc/meminfo: memFree=1427464/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1.29
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11069 0 1 0 107 22 0 0 16 0 8 0 156401370 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10806 2527 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 17 0 8 0 156401373 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.22
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 468 0 0 0 21 1 0 0 16 0 8 0 156401377 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915764

[startup+2.98458 s]
/proc/loadavg: 0.42 0.75 0.95 3/87 735
/proc/meminfo: memFree=1411688/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=2.94
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11099 0 1 0 271 23 0 0 18 0 8 0 156401370 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10835 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 17 0 8 0 156401373 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.27
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 491 0 0 0 26 1 0 0 16 0 8 0 156401377 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10835 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10835 18446744073709551615 134512640 134570532 4294956480 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) 915764

[startup+6.26413 s]
/proc/loadavg: 0.55 0.77 0.96 3/87 735
/proc/meminfo: memFree=1357872/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=6.22
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11107 0 1 0 599 23 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073993537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915764

[startup+12.7522 s]
/proc/loadavg: 0.66 0.79 0.96 3/87 735
/proc/meminfo: memFree=1323632/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=12.7
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11107 0 1 0 1247 23 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987461 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915764

[startup+25.5924 s]
/proc/loadavg: 0.82 0.81 0.97 3/87 791
/proc/meminfo: memFree=1353312/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=25.49
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11107 0 1 0 2525 24 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915764

[startup+51.1928 s]
/proc/loadavg: 1.10 0.88 0.98 3/77 855
/proc/meminfo: memFree=1422632/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=50.99
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11107 0 1 0 5073 26 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982780 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915764

[startup+102.446 s]
/proc/loadavg: 1.04 0.89 0.98 2/72 861
/proc/meminfo: memFree=1432440/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=102.22
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 10196 26 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 915764

[startup+162.532 s]
/proc/loadavg: 1.01 0.91 0.98 2/72 861
/proc/meminfo: memFree=1432504/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=162.29
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 16202 27 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.16
Current children cumulated vsize (KiB) 915764

[startup+1484.04 s]
/proc/loadavg: 1.88 1.32 1.11 3/87 1306
/proc/meminfo: memFree=1387640/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1483.16
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 148283 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981308 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.16
Current children cumulated vsize (KiB) 915764

[startup+1544.07 s]
/proc/loadavg: 1.95 1.44 1.16 3/87 1306
/proc/meminfo: memFree=1387704/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1543.17
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 154284 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073982699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.17
Current children cumulated vsize (KiB) 915764

[startup+1604.09 s]
/proc/loadavg: 1.98 1.54 1.21 3/87 1306
/proc/meminfo: memFree=1387704/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1603.17
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 160284 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971530 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.17
Current children cumulated vsize (KiB) 915764

[startup+1664.11 s]
/proc/loadavg: 1.99 1.62 1.26 3/87 1306
/proc/meminfo: memFree=1387136/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1663.18
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 166285 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.18
Current children cumulated vsize (KiB) 915764

[startup+1724.13 s]
/proc/loadavg: 1.99 1.69 1.30 3/87 1306
/proc/meminfo: memFree=1386368/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1723.18
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 172285 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073979311 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1723.18
Current children cumulated vsize (KiB) 915764

[startup+1784.15 s]
/proc/loadavg: 2.06 1.76 1.35 3/87 1306
/proc/meminfo: memFree=1384128/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1783.17
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 178284 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1783.17
Current children cumulated vsize (KiB) 915764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.02 s]
/proc/loadavg: 2.04 1.77 1.36 3/87 1306
/proc/meminfo: memFree=1383232/2055920 swapFree=4192812/4192956
[pid=689] ppid=687 vsize=915764 CPUtime=1800.04
/proc/689/stat : 689 (java) R 687 689 387 0 -1 0 11108 0 1 0 179971 33 0 0 25 0 8 0 156401370 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/689/statm: 228941 10840 2530 14 0 215411 0
[pid=689/tid=691] ppid=687 vsize=915764 CPUtime=0.04
/proc/689/task/691/stat : 691 (java) S 687 689 387 0 -1 64 534 0 0 0 4 0 0 0 16 0 8 0 156401373 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=692] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/692/stat : 692 (java) S 687 689 387 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=693] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/693/stat : 693 (java) S 687 689 387 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156401374 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=694] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/694/stat : 694 (java) S 687 689 387 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=695] ppid=687 vsize=915764 CPUtime=0.28
/proc/689/task/695/stat : 695 (java) S 687 689 387 0 -1 64 496 0 0 0 27 1 0 0 16 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=696] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/696/stat : 696 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=689/tid=697] ppid=687 vsize=915764 CPUtime=0
/proc/689/task/697/stat : 697 (java) S 687 689 387 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156401377 937742336 10840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915764

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

Child status: 143
Real time (s): 1801.04
CPU time (s): 1800.07
CPU user time (s): 1799.72
CPU system time (s): 0.346947
CPU usage (%): 99.946
Max. virtual memory (cumulated for all children) (KiB): 915764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.346947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11126
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= 37475
involuntary context switches= 37666

runsolver used 1.82972 s user time and 4.5973 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan  6 10:40:26 UTC 2007


IDJOB= 221282
IDBENCH= 5406
FILE ID= node51/221282-1168080023

PBS_JOBID= 3476153

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  08845c86b3cd6b454c691cd67cb94d14

RANDOM SEED= 285991797

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.277
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.277
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:       1465184 kB
Buffers:         32556 kB
Cached:         468740 kB
SwapCached:          0 kB
Active:          61032 kB
Inactive:       460344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1465184 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2208 kB
Writeback:           0 kB
Mapped:          30272 kB
Slab:            55168 kB
Committed_AS:  3049652 kB
PageTables:       1616 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= 66545 MiB



End job on node51 on Sat Jan  6 11:10:29 UTC 2007