Trace number 199973

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 545.603 549.378

DiagnosticValue
CHECKS394760319
NODES318702

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-45_ext.xml
MD5SUM5085b2986a6bae820a0154359c9a09d4
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark146.429
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints75
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension75
Number of constraints which are defined in intension0
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/199973-1168071753/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.42	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
1.07	   
1.07	   constraints being loaded...
1.35	     nbConstraints=75  nbRelationTypes=75  nbExtensionStructures=75  nbSharedExtensionStructures=0
1.35	     nbConflictsStructures=75  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.35	       =>  wckTime=1.032  cpuTime=0.89  mem=48M555
1.48	   
1.48	   solver IterativeSystematicSolver being built... 
1.64	       =>  wckTime=1.323  cpuTime=1.03  mem=34M738
1.65	   
1.65	   preprocessing
1.65	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.65	     detectedInconsistency=no
1.65	       =>  wckTime=0.0040  cpuTime=0.0  mem=34M738
1.77	   
1.77	   search
1.77	     run=0  nbConstraintChecks=30577  nbValidityChecks=49952  nbPropagations=300  nbRevisions=3164
1.77	     nbUselessRevisions=2576  nbAssignments=26  nbFailedAssignments=9  nbBacktracks=11  nbVisitedNodes=43
1.77	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.77	       =>  wckTime=0.118  cpuTime=0.1  mem=34M738
1.88	   
1.88	   search
1.88	     run=1  nbConstraintChecks=92954  nbValidityChecks=174035  nbPropagations=1236  nbRevisions=13328
1.88	     nbUselessRevisions=10473  nbAssignments=86  nbFailedAssignments=48  nbBacktracks=26  nbVisitedNodes=154
1.88	     nbRestartNogoods=6  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.88	       =>  wckTime=0.229  cpuTime=0.2  mem=34M738
2.00	   
2.00	   search
2.00	     run=2  nbConstraintChecks=169154  nbValidityChecks=319668  nbPropagations=3063  nbRevisions=34157
2.00	     nbUselessRevisions=26892  nbAssignments=155  nbFailedAssignments=88  nbBacktracks=49  nbVisitedNodes=282
2.00	     nbRestartNogoods=12  mapSize=46  nbInferences=0  nbTooLargeKeys=0
2.00	       =>  wckTime=0.357  cpuTime=0.32  mem=34M738
2.19	   
2.19	   search
2.19	     run=3  nbConstraintChecks=299310  nbValidityChecks=544323  nbPropagations=5832  nbRevisions=67323
2.19	     nbUselessRevisions=53252  nbAssignments=233  nbFailedAssignments=127  nbBacktracks=83  nbVisitedNodes=428
2.19	     nbRestartNogoods=16  mapSize=79  nbInferences=0  nbTooLargeKeys=0
2.19	       =>  wckTime=0.544  cpuTime=0.5  mem=34M738
2.49	   
2.49	   search
2.49	     run=4  nbConstraintChecks=497141  nbValidityChecks=908361  nbPropagations=10286  nbRevisions=120869
2.49	     nbUselessRevisions=95686  nbAssignments=376  nbFailedAssignments=214  nbBacktracks=134  nbVisitedNodes=690
2.49	     nbRestartNogoods=19  mapSize=125  nbInferences=0  nbTooLargeKeys=0
2.49	       =>  wckTime=0.844  cpuTime=0.79  mem=34M738
3.00	   
3.00	   search
3.00	     run=5  nbConstraintChecks=855093  nbValidityChecks=1611959  nbPropagations=17534  nbRevisions=213980
3.00	     nbUselessRevisions=169815  nbAssignments=686  nbFailedAssignments=443  nbBacktracks=209  nbVisitedNodes=1281
3.00	     nbRestartNogoods=26  mapSize=193  nbInferences=0  nbTooLargeKeys=0
3.00	       =>  wckTime=1.349  cpuTime=1.28  mem=34M738
3.71	   
3.71	   search
3.71	     run=6  nbConstraintChecks=1362139  nbValidityChecks=2514742  nbPropagations=29074  nbRevisions=364973
3.71	     nbUselessRevisions=290358  nbAssignments=1018  nbFailedAssignments=657  nbBacktracks=322  nbVisitedNodes=1920
3.71	     nbRestartNogoods=30  mapSize=303  nbInferences=0  nbTooLargeKeys=0
3.71	       =>  wckTime=2.06  cpuTime=1.98  mem=34M738
4.30	   
4.30	   search
4.30	     run=7  nbConstraintChecks=1767050  nbValidityChecks=3300592  nbPropagations=44948  nbRevisions=567742
4.30	     nbUselessRevisions=451920  nbAssignments=1396  nbFailedAssignments=859  nbBacktracks=492  nbVisitedNodes=2600
4.30	     nbRestartNogoods=32  mapSize=444  nbInferences=0  nbTooLargeKeys=0
4.30	       =>  wckTime=2.653  cpuTime=2.57  mem=34M738
5.43	   
5.43	   search
5.43	     run=8  nbConstraintChecks=2521594  nbValidityChecks=4779896  nbPropagations=69630  nbRevisions=872848
5.43	     nbUselessRevisions=693677  nbAssignments=2075  nbFailedAssignments=1276  nbBacktracks=748  nbVisitedNodes=3876
5.43	     nbRestartNogoods=37  mapSize=680  nbInferences=0  nbTooLargeKeys=0
5.43	       =>  wckTime=3.784  cpuTime=3.67  mem=34M738
7.73	   
7.73	   search
7.73	     run=9  nbConstraintChecks=4220351  nbValidityChecks=7896895  nbPropagations=106779  nbRevisions=1348447
7.73	     nbUselessRevisions=1072145  nbAssignments=3264  nbFailedAssignments=2076  nbBacktracks=1132  nbVisitedNodes=6124
7.73	     nbRestartNogoods=40  mapSize=1023  nbInferences=0  nbTooLargeKeys=0
7.73	       =>  wckTime=6.078  cpuTime=5.93  mem=34M738
7.80	   
7.80	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=34M738)
9.78	   
9.78	   search
9.78	     run=10  nbConstraintChecks=5652667  nbValidityChecks=10647236  nbPropagations=159671  nbRevisions=2010576
9.78	     nbUselessRevisions=1598273  nbAssignments=4577  nbFailedAssignments=2807  nbBacktracks=1709  nbVisitedNodes=8530
9.78	     nbRestartNogoods=46
9.78	       =>  wckTime=8.129  cpuTime=7.96  mem=34M738
13.06	   
13.06	   search
13.06	     run=11  nbConstraintChecks=7965877  nbValidityChecks=15067164  nbPropagations=236576  nbRevisions=2958316
13.06	     nbUselessRevisions=2350186  nbAssignments=6570  nbFailedAssignments=3930  nbBacktracks=2574  nbVisitedNodes=12201
13.06	     nbRestartNogoods=55
13.06	       =>  wckTime=11.416  cpuTime=11.21  mem=34M738
18.30	   
18.30	   search
18.30	     run=12  nbConstraintChecks=11657828  nbValidityChecks=22272945  nbPropagations=356579  nbRevisions=4404548
18.30	     nbUselessRevisions=3492243  nbAssignments=9829  nbFailedAssignments=5887  nbBacktracks=3871  nbVisitedNodes=18306
18.30	     nbRestartNogoods=64
18.30	       =>  wckTime=16.652  cpuTime=16.39  mem=34M738
30.63	   
30.63	   search
30.63	     run=13  nbConstraintChecks=21000426  nbValidityChecks=39464824  nbPropagations=546852  nbRevisions=6796030
30.63	     nbUselessRevisions=5382331  nbAssignments=16501  nbFailedAssignments=10608  nbBacktracks=5817  nbVisitedNodes=31039
30.63	     nbRestartNogoods=74
30.63	       =>  wckTime=28.98  cpuTime=28.61  mem=34M738
41.85	   
41.85	   search
41.85	     run=14  nbConstraintChecks=28889019  nbValidityChecks=54578958  nbPropagations=817810  nbRevisions=10152177
41.85	     nbUselessRevisions=8032877  nbAssignments=22922  nbFailedAssignments=14104  nbBacktracks=8737  nbVisitedNodes=42808
41.85	     nbRestartNogoods=84
41.85	       =>  wckTime=40.201  cpuTime=39.74  mem=34M738
58.94	   
58.94	   search
58.94	     run=15  nbConstraintChecks=40887493  nbValidityChecks=77801160  nbPropagations=1216496  nbRevisions=15042518
58.94	     nbUselessRevisions=11897923  nbAssignments=33305  nbFailedAssignments=20103  nbBacktracks=13115
58.94	     nbVisitedNodes=61989  nbRestartNogoods=102
58.94	       =>  wckTime=57.296  cpuTime=56.67  mem=34M738
86.01	   
86.01	   search
86.01	     run=16  nbConstraintChecks=59950564  nbValidityChecks=115200843  nbPropagations=1831923  nbRevisions=22489727
86.01	     nbUselessRevisions=17768554  nbAssignments=49367  nbFailedAssignments=29591  nbBacktracks=19683
86.01	     nbVisitedNodes=92064  nbRestartNogoods=121
86.01	       =>  wckTime=84.361  cpuTime=83.49  mem=34M738
136.36	   
136.36	   search
136.36	     run=17  nbConstraintChecks=96191571  nbValidityChecks=186332733  nbPropagations=2795472  nbRevisions=34353463
136.36	     nbUselessRevisions=27149193  nbAssignments=78102  nbFailedAssignments=48467  nbBacktracks=29536
136.36	     nbVisitedNodes=146868  nbRestartNogoods=125
136.36	       =>  wckTime=134.717  cpuTime=133.38  mem=34M738
195.58	   
195.58	   search
195.58	     run=18  nbConstraintChecks=137345783  nbValidityChecks=265603099  nbPropagations=4179988  nbRevisions=51242007
195.58	     nbUselessRevisions=40499750  nbAssignments=110585  nbFailedAssignments=66167  nbBacktracks=44315
195.58	     nbVisitedNodes=206494  nbRestartNogoods=145
195.58	       =>  wckTime=193.93  cpuTime=192.04  mem=34M738
285.41	   
285.41	   search
285.41	     run=19  nbConstraintChecks=200148973  nbValidityChecks=386724528  nbPropagations=6215310  nbRevisions=75944740
285.41	     nbUselessRevisions=60030957  nbAssignments=161743  nbFailedAssignments=95154  nbBacktracks=66483
285.41	     nbVisitedNodes=300929  nbRestartNogoods=166
285.41	       =>  wckTime=283.761  cpuTime=281.05  mem=34M738
422.79	   
422.79	   search
422.79	     run=20  nbConstraintChecks=298659896  nbValidityChecks=582722504  nbPropagations=9363547  nbRevisions=113851219
422.79	     nbUselessRevisions=89920802  nbAssignments=246537  nbFailedAssignments=146690  nbBacktracks=99737
422.79	     nbVisitedNodes=460773  nbRestartNogoods=182
422.79	       =>  wckTime=421.146  cpuTime=417.47  mem=34M738
549.32	   
549.32	   search
549.32	     run=21  nbConstraintChecks=394760319  nbValidityChecks=766276032  nbPropagations=13454216  nbRevisions=162973143
549.32	     nbUselessRevisions=128665039  nbAssignments=318702  nbFailedAssignments=185165  nbBacktracks=133403
549.32	     nbVisitedNodes=592109  nbRestartNogoods=199
549.32	       =>  wckTime=547.669  cpuTime=543.87  mem=34M738
549.32	   
549.32	   global
549.32	     nbConstraintChecks=394760319  nbValidityChecks=766276032  nbPropagations=13454240  nbRevisions=162973143
549.32	     nbUselessRevisions=128665039  nbRestartNogoods=199  solvingWckTime=547.67  solvingCpuTime=543.87  expiredTime=no
549.32	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=544.96
549.32	       =>  wckTime=548.996  cpuTime=544.9  mem=35M726
549.32	   
549.32	s SATISFIABLE
549.32	v 21 3 3 8 15 3 17 3 2 9 0 15 22 6 14 10 6 9 22 19 6 21 12 2 
549.32	d NODES 318702
549.32	d CHECKS 394760319
549.32	   
549.32	   totalWckTime=549.079  totalCpuTime=544.96

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/node19/watcher-199973-1168071753 -o ROOT/results/node19/solver-199973-1168071753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199973-1168071753/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 1.97 4/93 21507
/proc/meminfo: memFree=1216488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=11868 CPUtime=0
/proc/21506/stat : 21506 (java) D 21504 21506 20716 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155569981 12152832 515 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21506/statm: 2967 515 425 14 0 1602 0

[startup+0.104319 s]
/proc/loadavg: 2.00 2.00 1.97 4/93 21507
/proc/meminfo: memFree=1216488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=914988 CPUtime=0.08
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 155569981 936947712 2698 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4155584179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228747 2698 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512394 s]
/proc/loadavg: 2.00 2.00 1.97 4/93 21507
/proc/meminfo: memFree=1216488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915328 CPUtime=0.49
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 7399 0 1 0 44 5 0 0 18 0 8 0 155569981 937295872 7138 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073560081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228832 7138 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33555 s]
/proc/loadavg: 2.00 2.00 1.97 4/100 21514
/proc/meminfo: memFree=1149616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915328 CPUtime=1.3
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 19107 0 1 0 119 11 0 0 24 0 8 0 155569981 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073654902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228832 18845 2160 14 0 215302 0
[pid=21506/tid=21508] ppid=21504 vsize=915328 CPUtime=0.05
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 2644 0 0 0 4 1 0 0 17 0 8 0 155569984 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155569985 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 155569985 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915328 CPUtime=0.1
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915328 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937295872 18845 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328

[startup+2.98886 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133424/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=2.94
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23461 0 1 0 281 13 0 0 25 0 8 0 155569981 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23196 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 17 0 8 0 155569984 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.19
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23196 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915416

[startup+6.27348 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133424/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=6.19
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23478 0 1 0 605 14 0 0 25 0 8 0 155569981 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23210 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 17 0 8 0 155569984 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.23
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 389 0 0 0 22 1 0 0 15 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23210 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416

[startup+12.7677 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133360/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=12.62
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23483 0 1 0 1248 14 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.23
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915416

[startup+25.6271 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133488/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=25.37
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23483 0 1 0 2523 14 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073760064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.23
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915416

[startup+51.261 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=50.76
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23483 0 1 0 5062 14 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915416

[startup+102.524 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133680/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=101.55
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 10140 15 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072918567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915416

[startup+162.539 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 21514
/proc/meminfo: memFree=1133680/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=161.02
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 16086 16 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073628030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 915416

[startup+222.555 s]
/proc/loadavg: 2.08 2.02 1.98 3/100 21514
/proc/meminfo: memFree=1133616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=220.48
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 22032 16 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073790569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 915416

[startup+282.572 s]
/proc/loadavg: 2.06 2.03 1.98 3/100 21514
/proc/meminfo: memFree=1133680/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=279.94
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 27978 16 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073755946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.94
Current children cumulated vsize (KiB) 915416

[startup+342.579 s]
/proc/loadavg: 2.02 2.02 1.98 3/100 21514
/proc/meminfo: memFree=1133616/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=339.4
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 33923 17 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 915416

[startup+402.672 s]
/proc/loadavg: 1.94 2.00 1.98 3/100 21606
/proc/meminfo: memFree=1186408/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=399.09
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 39891 18 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073628080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.09
Current children cumulated vsize (KiB) 915416

[startup+462.751 s]
/proc/loadavg: 1.98 2.00 1.98 3/100 21606
/proc/meminfo: memFree=1186408/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=459.08
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 45889 19 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073807939 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.08
Current children cumulated vsize (KiB) 915416

[startup+522.822 s]
/proc/loadavg: 2.04 2.01 1.98 3/100 21606
/proc/meminfo: memFree=1186408/2055920 swapFree=4171232/4192956
[pid=21506] ppid=21504 vsize=915416 CPUtime=519.09
/proc/21506/stat : 21506 (java) R 21504 21506 20716 0 -1 0 23484 0 1 0 51890 19 0 0 25 0 8 0 155569981 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21506/statm: 228854 23214 2521 14 0 215324 0
[pid=21506/tid=21508] ppid=21504 vsize=915416 CPUtime=0.16
/proc/21506/task/21508/stat : 21508 (java) S 21504 21506 20716 0 -1 64 6497 0 0 0 14 2 0 0 16 0 8 0 155569984 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21509] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21509/stat : 21509 (java) S 21504 21506 20716 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21510] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21510/stat : 21510 (java) S 21504 21506 20716 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155569985 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21511] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21511/stat : 21511 (java) S 21504 21506 20716 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21512] ppid=21504 vsize=915416 CPUtime=0.24
/proc/21506/task/21512/stat : 21512 (java) S 21504 21506 20716 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21513] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21513/stat : 21513 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21506/tid=21514] ppid=21504 vsize=915416 CPUtime=0
/proc/21506/task/21514/stat : 21514 (java) S 21504 21506 20716 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155569989 937385984 23214 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.09
Current children cumulated vsize (KiB) 915416

Child status: 0
Real time (s): 549.378
CPU time (s): 545.603
CPU user time (s): 545.388
CPU system time (s): 0.214967
CPU usage (%): 99.3129
Max. virtual memory (cumulated for all children) (KiB): 915416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 545.388
system time used= 0.214967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23493
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= 12238
involuntary context switches= 26554

runsolver used 0.727889 s user time and 1.70774 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 08:22:33 UTC 2007


IDJOB= 199973
IDBENCH= 3665
FILE ID= node19/199973-1168071753

PBS_JOBID= 3475425

Free space on /tmp= 66305 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199973-1168071753/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-199973-1168071753 -o ROOT/results/node19/solver-199973-1168071753 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199973-1168071753/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5085b2986a6bae820a0154359c9a09d4

RANDOM SEED= 97129682

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.260
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.260
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:       1216968 kB
Buffers:         69892 kB
Cached:         548800 kB
SwapCached:      10036 kB
Active:         350972 kB
Inactive:       386976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1216968 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            4556 kB
Writeback:           0 kB
Mapped:         138508 kB
Slab:            85348 kB
Committed_AS:  4341496 kB
PageTables:       2584 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= 66307 MiB



End job on node19 on Sat Jan  6 08:31:43 UTC 2007