Trace number 229908

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 ACSAT 396.648 398.239

DiagnosticValue
CHECKS2806955628
NODES1719545

General information on the benchmark

Namerandom/rand-2-50-23-fcd/
rand-2-50-23-587-230-fcd-45_ext.xml
MD5SUM677c8b2fc95fbc432e1737c709f72654
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark68.7745
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints467
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension467
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/229908-1168081012/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.40	       =>  wckTime=0.097  cpuTime=0.07  mem=6M951
0.40	   
0.40	   relations being loaded...
0.54	   
0.54	   constraints being loaded...
0.67	     nbConstraints=467  nbRelationTypes=467  nbExtensionStructures=467  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=467  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2450  maxDegree=28
0.67	     maxArity=2
0.67	       =>  wckTime=0.37  cpuTime=0.27  mem=17M695
0.71	   
0.71	   solver IterativeSystematicSolver being built... 
0.86	       =>  wckTime=0.561  cpuTime=0.39  mem=15M366
0.87	   
0.87	   preprocessing
0.87	     nbConstraintChecks=0  nbPropagations=50  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.87	     detectedInconsistency=no
0.87	       =>  wckTime=0.0080  cpuTime=0.01  mem=15M366
0.92	   
0.92	   search
0.92	     run=0  nbConstraintChecks=42691  nbPropagations=556  nbRevisions=6230  nbUselessRevisions=5139  nbAssignments=25
0.92	     nbFailedAssignments=5  nbBacktracks=11  nbVisitedNodes=39  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.054  cpuTime=0.03  mem=15M366
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=106129  nbPropagations=1896  nbRevisions=22774  nbUselessRevisions=18739
0.94	     nbAssignments=61  nbFailedAssignments=15  nbBacktracks=28  nbVisitedNodes=94  nbRestartNogoods=2  mapSize=22
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.08  cpuTime=0.06  mem=15M366
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=198646  nbPropagations=4387  nbRevisions=55690  nbUselessRevisions=45954
0.97	     nbAssignments=112  nbFailedAssignments=32  nbBacktracks=51  nbVisitedNodes=179  nbRestartNogoods=4  mapSize=43
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.104  cpuTime=0.08  mem=15M366
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=334492  nbPropagations=8309  nbRevisions=108864  nbUselessRevisions=89593
0.99	     nbAssignments=183  nbFailedAssignments=57  nbBacktracks=87  nbVisitedNodes=295  nbRestartNogoods=8  mapSize=75
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.128  cpuTime=0.1  mem=15M366
1.02	   
1.02	   search
1.02	     run=4  nbConstraintChecks=481713  nbPropagations=14159  nbRevisions=189060  nbUselessRevisions=155462
1.02	     nbAssignments=277  nbFailedAssignments=88  nbBacktracks=140  nbVisitedNodes=449  nbRestartNogoods=12  mapSize=117
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.158  cpuTime=0.13  mem=15M366
1.07	   
1.07	   search
1.07	     run=5  nbConstraintChecks=724906  nbPropagations=22840  nbRevisions=311669  nbUselessRevisions=256155
1.07	     nbAssignments=417  nbFailedAssignments=140  nbBacktracks=218  nbVisitedNodes=688  nbRestartNogoods=16  mapSize=183
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.201  cpuTime=0.17  mem=15M366
1.12	   
1.12	   search
1.12	     run=6  nbConstraintChecks=1026084  nbPropagations=35156  nbRevisions=488579  nbUselessRevisions=401575
1.12	     nbAssignments=611  nbFailedAssignments=209  nbBacktracks=332  nbVisitedNodes=1005  nbRestartNogoods=19  mapSize=274
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.255  cpuTime=0.22  mem=15M366
1.20	   
1.20	   search
1.20	     run=7  nbConstraintChecks=1486999  nbPropagations=53207  nbRevisions=755611  nbUselessRevisions=621459
1.20	     nbAssignments=908  nbFailedAssignments=327  nbBacktracks=502  nbVisitedNodes=1515  nbRestartNogoods=24  mapSize=411
1.20	     nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.342  cpuTime=0.3  mem=15M366
1.32	   
1.32	   search
1.32	     run=8  nbConstraintChecks=2130020  nbPropagations=79076  nbRevisions=1140501  nbUselessRevisions=938195
1.32	     nbAssignments=1325  nbFailedAssignments=475  nbBacktracks=760  nbVisitedNodes=2201  nbRestartNogoods=27
1.32	     mapSize=617  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.454  cpuTime=0.41  mem=15M366
1.51	   
1.51	   search
1.51	     run=9  nbConstraintChecks=3303813  nbPropagations=118456  nbRevisions=1734747  nbUselessRevisions=1425841
1.51	     nbAssignments=2005  nbFailedAssignments=761  nbBacktracks=1144  nbVisitedNodes=3398  nbRestartNogoods=33
1.51	     mapSize=954  nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.646  cpuTime=0.58  mem=15M366
1.56	   
1.56	   INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=15M366)
1.74	   
1.74	   search
1.74	     run=10  nbConstraintChecks=4784493  nbPropagations=176130  nbRevisions=2617606  nbUselessRevisions=2151896
1.74	     nbAssignments=2976  nbFailedAssignments=1146  nbBacktracks=1720  nbVisitedNodes=5058  nbRestartNogoods=40
1.74	       =>  wckTime=0.879  cpuTime=0.81  mem=15M366
2.04	   
2.04	   search
2.04	     run=11  nbConstraintChecks=6784547  nbPropagations=259866  nbRevisions=3892162  nbUselessRevisions=3200890
2.04	     nbAssignments=4340  nbFailedAssignments=1635  nbBacktracks=2585  nbVisitedNodes=7386  nbRestartNogoods=43
2.04	       =>  wckTime=1.175  cpuTime=1.1  mem=15M366
2.52	   
2.52	   search
2.52	     run=12  nbConstraintChecks=10118830  nbPropagations=384065  nbRevisions=5800812  nbUselessRevisions=4772805
2.52	     nbAssignments=6440  nbFailedAssignments=2425  nbBacktracks=3884  nbVisitedNodes=10954  nbRestartNogoods=51
2.52	       =>  wckTime=1.657  cpuTime=1.58  mem=15M366
3.28	   
3.28	   search
3.28	     run=13  nbConstraintChecks=15732116  nbPropagations=571317  nbRevisions=8702058  nbUselessRevisions=7156463
3.28	     nbAssignments=9698  nbFailedAssignments=3725  nbBacktracks=5836  nbVisitedNodes=16536  nbRestartNogoods=58
3.28	       =>  wckTime=2.42  cpuTime=2.34  mem=15M366
4.32	   
4.32	   search
4.32	     run=14  nbConstraintChecks=22726001  nbPropagations=848356  nbRevisions=12978545  nbUselessRevisions=10675888
4.32	     nbAssignments=14356  nbFailedAssignments=5455  nbBacktracks=8758  nbVisitedNodes=24438  nbRestartNogoods=60
4.32	       =>  wckTime=3.461  cpuTime=3.37  mem=15M366
6.09	   
6.09	   search
6.09	     run=15  nbConstraintChecks=35550073  nbPropagations=1270726  nbRevisions=19541499  nbUselessRevisions=16070417
6.09	     nbAssignments=21669  nbFailedAssignments=8381  nbBacktracks=13137  nbVisitedNodes=37109  nbRestartNogoods=64
6.09	       =>  wckTime=5.228  cpuTime=5.13  mem=15M366
8.55	   
8.55	   search
8.55	     run=16  nbConstraintChecks=52484248  nbPropagations=1904410  nbRevisions=29323632  nbUselessRevisions=24109018
8.55	     nbAssignments=32346  nbFailedAssignments=12477  nbBacktracks=19707  nbVisitedNodes=55365  nbRestartNogoods=73
8.55	       =>  wckTime=7.686  cpuTime=7.58  mem=15M366
12.28	   
12.28	   search
12.28	     run=17  nbConstraintChecks=78709752  nbPropagations=2852512  nbRevisions=44014814  nbUselessRevisions=36190386
12.28	     nbAssignments=48113  nbFailedAssignments=18384  nbBacktracks=29561  nbVisitedNodes=82436  nbRestartNogoods=78
12.28	       =>  wckTime=11.415  cpuTime=11.3  mem=15M366
17.74	   
17.74	   search
17.74	     run=18  nbConstraintChecks=116440822  nbPropagations=4265356  nbRevisions=65935155  nbUselessRevisions=54227896
17.74	     nbAssignments=72099  nbFailedAssignments=27579  nbBacktracks=44341  nbVisitedNodes=123514  nbRestartNogoods=84
17.74	       =>  wckTime=16.876  cpuTime=16.7  mem=15M366
26.64	   
26.64	   search
26.64	     run=19  nbConstraintChecks=183179325  nbPropagations=6400918  nbRevisions=99335786  nbUselessRevisions=81660667
26.64	     nbAssignments=108269  nbFailedAssignments=41570  nbBacktracks=66509  nbVisitedNodes=185651  nbRestartNogoods=94
26.64	       =>  wckTime=25.781  cpuTime=25.57  mem=15M366
38.25	   
38.25	   search
38.25	     run=20  nbConstraintChecks=262580769  nbPropagations=9540342  nbRevisions=148104268  nbUselessRevisions=121757290
38.25	     nbAssignments=160484  nbFailedAssignments=60521  nbBacktracks=99763  nbVisitedNodes=274085  nbRestartNogoods=106
38.25	       =>  wckTime=37.386  cpuTime=37.13  mem=15M366
55.91	   
55.91	   search
55.91	     run=21  nbConstraintChecks=384681186  nbPropagations=14173626  nbRevisions=220290363  nbUselessRevisions=181150133
55.91	     nbAssignments=239915  nbFailedAssignments=90062  nbBacktracks=149644  nbVisitedNodes=409432  nbRestartNogoods=121
55.91	       =>  wckTime=55.044  cpuTime=54.72  mem=15M366
82.64	   
82.64	   search
82.64	     run=22  nbConstraintChecks=570982074  nbPropagations=21093836  nbRevisions=327950569  nbUselessRevisions=269774451
82.64	     nbAssignments=359181  nbFailedAssignments=134498  nbBacktracks=224465  nbVisitedNodes=612859  nbRestartNogoods=133
82.64	       =>  wckTime=81.779  cpuTime=81.32  mem=15M366
127.49	   
127.49	   search
127.49	     run=23  nbConstraintChecks=900674798  nbPropagations=31691144  nbRevisions=494307461  nbUselessRevisions=406664082
127.49	     nbAssignments=542045  nbFailedAssignments=205127  nbBacktracks=336692  nbVisitedNodes=928870  nbRestartNogoods=143
127.49	       =>  wckTime=126.628  cpuTime=125.96  mem=15M366
187.91	   
187.91	   search
187.91	     run=24  nbConstraintChecks=1328341363  nbPropagations=47417316  nbRevisions=739137639  nbUselessRevisions=607963861
187.91	     nbAssignments=804818  nbFailedAssignments=299548  nbBacktracks=505035  nbVisitedNodes=1373470  nbRestartNogoods=155
187.91	       =>  wckTime=187.052  cpuTime=186.12  mem=15M366
282.00	   
282.00	   search
282.00	     run=25  nbConstraintChecks=1983899713  nbPropagations=71155090  nbRevisions=1108564228
282.00	     nbUselessRevisions=911840886  nbAssignments=1216323  nbFailedAssignments=458531  nbBacktracks=757546
282.00	     nbVisitedNodes=2081484  nbRestartNogoods=171
282.00	       =>  wckTime=281.142  cpuTime=279.71  mem=15M366
398.20	   
398.20	   search
398.20	     run=26  nbConstraintChecks=2806955628  nbPropagations=104623121  nbRevisions=1634501953
398.20	     nbUselessRevisions=1345181793  nbAssignments=1719545  nbFailedAssignments=650461  nbBacktracks=1068788
398.20	     nbVisitedNodes=2944437  nbRestartNogoods=181
398.20	       =>  wckTime=397.333  cpuTime=395.71  mem=15M366
398.20	   
398.20	   global
398.20	     nbConstraintChecks=2806955628  nbPropagations=104623171  nbRevisions=1634501953  nbUselessRevisions=1345181793
398.20	     nbRestartNogoods=181  solvingWckTime=397.334  solvingCpuTime=395.72  expiredTime=no  totalExploration=no
398.20	     nbFoundSolutions=1  globalCpuTime=396.17
398.20	       =>  wckTime=397.898  cpuTime=396.11  mem=15M366
398.20	   
398.20	s SATISFIABLE
398.20	v 20 18 16 18 11 13 5 21 17 8 14 10 1 11 0 17 4 17 12 17 11 18 11 0 7 8 20 16 9 16 14 11 19 22 11 0 2 8 6 19 11 15 14 14 13 15 18 16 16 20 
398.20	d NODES 1719545
398.20	d CHECKS 2806955628
398.20	   
398.20	   totalWckTime=397.973  totalCpuTime=396.17

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node45/watcher-229908-1168081012 -o ROOT/results/node45/solver-229908-1168081012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229908-1168081012/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.10 0.40 0.75 6/73 23763
/proc/meminfo: memFree=1406744/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=168 CPUtime=0
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 156500900 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4727588 0 0 4096 0 0 0 0 17 0 0 0
/proc/23762/statm: 42 23 18 14 0 2 0

[startup+0.107129 s]
/proc/loadavg: 0.10 0.40 0.75 6/73 23763
/proc/meminfo: memFree=1406744/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=914988 CPUtime=0.08
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 3001 0 1 0 7 1 0 0 22 0 8 0 156500900 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073443179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516204 s]
/proc/loadavg: 0.10 0.40 0.75 6/73 23763
/proc/meminfo: memFree=1406744/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915328 CPUtime=0.48
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 7222 0 1 0 45 3 0 0 25 0 8 0 156500900 937295872 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228832 6961 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.34035 s]
/proc/loadavg: 0.10 0.40 0.75 3/87 23777
/proc/meminfo: memFree=1351528/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=1.3
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9619 0 1 0 124 6 0 0 25 0 8 0 156500900 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856530 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9357 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.21
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97864 s]
/proc/loadavg: 0.26 0.43 0.75 3/87 23777
/proc/meminfo: memFree=1351336/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=2.93
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9634 0 1 0 287 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460

[startup+6.27724 s]
/proc/loadavg: 0.26 0.43 0.75 4/87 23777
/proc/meminfo: memFree=1351336/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=6.22
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9635 0 1 0 616 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073874394 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 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) 915460

[startup+12.7514 s]
/proc/loadavg: 0.52 0.48 0.77 3/87 23777
/proc/meminfo: memFree=1351336/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=12.66
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9635 0 1 0 1260 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460

[startup+25.6107 s]
/proc/loadavg: 0.75 0.53 0.78 3/87 23777
/proc/meminfo: memFree=1351400/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=25.44
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9635 0 1 0 2538 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915460

[startup+51.2164 s]
/proc/loadavg: 1.18 0.65 0.81 3/87 23777
/proc/meminfo: memFree=1351464/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=50.95
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9637 0 1 0 5089 6 0 0 25 0 8 0 156500900 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9372 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460

[startup+102.419 s]
/proc/loadavg: 1.64 0.85 0.87 3/87 23777
/proc/meminfo: memFree=1351464/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=101.93
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9637 0 1 0 10186 7 0 0 25 0 8 0 156500900 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9372 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460

[startup+162.465 s]
/proc/loadavg: 1.87 1.06 0.94 3/87 23777
/proc/meminfo: memFree=1351400/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=161.68
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9637 0 1 0 16161 7 0 0 25 0 8 0 156500900 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9372 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 915460

[startup+222.507 s]
/proc/loadavg: 1.95 1.23 1.00 3/87 23777
/proc/meminfo: memFree=1351464/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=221.46
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9638 0 1 0 22139 7 0 0 25 0 8 0 156500900 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9373 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.24
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 915460

[startup+282.574 s]
/proc/loadavg: 2.04 1.38 1.07 3/93 23915
/proc/meminfo: memFree=1350040/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=281.19
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9638 0 1 0 28107 12 0 0 25 0 8 0 156500900 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9373 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.24
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.19
Current children cumulated vsize (KiB) 915460

[startup+342.631 s]
/proc/loadavg: 1.48 1.35 1.08 2/75 23986
/proc/meminfo: memFree=1381232/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=341.11
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9638 0 1 0 34095 16 0 0 25 0 8 0 156500900 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9373 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.24
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.11
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 398.239
CPU time (s): 396.648
CPU user time (s): 396.473
CPU system time (s): 0.174973
CPU usage (%): 99.6005
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 396.473
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9646
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= 9249
involuntary context switches= 13865

runsolver used 0.463929 s user time and 1.2878 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan  6 10:56:54 UTC 2007


IDJOB= 229908
IDBENCH= 6376
FILE ID= node45/229908-1168081012

PBS_JOBID= 3476182

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229908-1168081012/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-229908-1168081012 -o ROOT/results/node45/solver-229908-1168081012 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229908-1168081012/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  677c8b2fc95fbc432e1737c709f72654

RANDOM SEED= 88810350

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.259
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.259
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:       1409624 kB
Buffers:         49320 kB
Cached:         510972 kB
SwapCached:       2748 kB
Active:          54060 kB
Inactive:       520492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1409624 kB
SwapTotal:     4192956 kB
SwapFree:      4184004 kB
Dirty:            2384 kB
Writeback:           0 kB
Mapped:          20432 kB
Slab:            57424 kB
Committed_AS:  2684396 kB
PageTables:       1632 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= 66541 MiB



End job on node45 on Sat Jan  6 11:03:39 UTC 2007