Trace number 218412

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 ACUNSAT 250.719 251.048

DiagnosticValue
CHECKS229144813
NODES264300

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-5_ext.xml
MD5SUM0c3b4069edc151aea481b3cb28cbb69f
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark86.6878
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints55
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension55
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/218412-1168079634/unknown.xml
0.34	   
0.34	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.38	       =>  wckTime=0.091  cpuTime=0.09  mem=6M951
0.38	   
0.38	   relations being loaded...
0.61	   
0.61	   constraints being loaded...
0.75	     nbConstraints=55  nbRelationTypes=55  nbExtensionStructures=55  nbSharedExtensionStructures=0
0.75	     nbConflictsStructures=55  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=12  maxArity=3
0.75	       =>  wckTime=0.465  cpuTime=0.43  mem=39M631
0.83	   
0.83	   solver IterativeSystematicSolver being built... 
0.98	       =>  wckTime=0.69  cpuTime=0.56  mem=20M712
0.98	   
0.98	   preprocessing
0.98	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.98	     detectedInconsistency=no
0.98	       =>  wckTime=0.0020  cpuTime=0.0  mem=20M712
1.10	   
1.10	   search
1.10	     run=0  nbConstraintChecks=41485  nbValidityChecks=78157  nbPropagations=569  nbRevisions=5544
1.10	     nbUselessRevisions=4224  nbAssignments=38  nbFailedAssignments=24  nbBacktracks=10  nbVisitedNodes=72
1.10	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.12  cpuTime=0.09  mem=20M712
1.15	   
1.15	   search
1.15	     run=1  nbConstraintChecks=75120  nbValidityChecks=141328  nbPropagations=1565  nbRevisions=15651
1.15	     nbUselessRevisions=12025  nbAssignments=82  nbFailedAssignments=47  nbBacktracks=25  nbVisitedNodes=151
1.15	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.168  cpuTime=0.13  mem=20M712
1.25	   
1.25	   search
1.25	     run=2  nbConstraintChecks=148146  nbValidityChecks=292072  nbPropagations=3542  nbRevisions=36263
1.25	     nbUselessRevisions=27866  nbAssignments=180  nbFailedAssignments=119  nbBacktracks=47  nbVisitedNodes=340
1.25	     nbRestartNogoods=10  mapSize=45  nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.274  cpuTime=0.22  mem=20M712
1.37	   
1.37	   search
1.37	     run=3  nbConstraintChecks=235158  nbValidityChecks=480718  nbPropagations=6850  nbRevisions=70258
1.37	     nbUselessRevisions=53947  nbAssignments=309  nbFailedAssignments=212  nbBacktracks=80  nbVisitedNodes=585
1.37	     nbRestartNogoods=14  mapSize=75  nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.387  cpuTime=0.33  mem=20M712
1.53	   
1.53	   search
1.53	     run=4  nbConstraintChecks=373851  nbValidityChecks=757896  nbPropagations=11936  nbRevisions=123884
1.53	     nbUselessRevisions=95011  nbAssignments=483  nbFailedAssignments=331  nbBacktracks=131  nbVisitedNodes=916
1.53	     nbRestartNogoods=18  mapSize=123  nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.545  cpuTime=0.49  mem=20M712
1.80	   
1.80	   search
1.80	     run=5  nbConstraintChecks=600792  nbValidityChecks=1220428  nbPropagations=20073  nbRevisions=210277
1.80	     nbUselessRevisions=160678  nbAssignments=772  nbFailedAssignments=542  nbBacktracks=207  nbVisitedNodes=1479
1.80	     nbRestartNogoods=25  mapSize=197  nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.822  cpuTime=0.76  mem=20M712
2.05	   
2.05	   search
2.05	     run=6  nbConstraintChecks=816759  nbValidityChecks=1677229  nbPropagations=31241  nbRevisions=329474
2.05	     nbUselessRevisions=251618  nbAssignments=1139  nbFailedAssignments=791  nbBacktracks=323  nbVisitedNodes=2165
2.05	     nbRestartNogoods=26  mapSize=300  nbInferences=0  nbTooLargeKeys=0
2.05	       =>  wckTime=1.071  cpuTime=1.0  mem=20M712
2.59	   
2.59	   search
2.59	     run=7  nbConstraintChecks=1261215  nbValidityChecks=2577928  nbPropagations=48397  nbRevisions=513207
2.59	     nbUselessRevisions=391369  nbAssignments=1685  nbFailedAssignments=1161  nbBacktracks=495  nbVisitedNodes=3222
2.59	     nbRestartNogoods=27  mapSize=468  nbInferences=0  nbTooLargeKeys=0
2.59	       =>  wckTime=1.608  cpuTime=1.52  mem=20M712
3.37	   
3.38	   search
3.38	     run=8  nbConstraintChecks=1941200  nbValidityChecks=4001262  nbPropagations=75373  nbRevisions=797511
3.38	     nbUselessRevisions=607080  nbAssignments=2639  nbFailedAssignments=1853  nbBacktracks=752  nbVisitedNodes=5069
3.38	     nbRestartNogoods=30  mapSize=719  nbInferences=0  nbTooLargeKeys=0
3.38	       =>  wckTime=2.395  cpuTime=2.3  mem=20M712
4.25	   
4.25	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=20M712)
4.34	   
4.34	   search
4.34	     run=9  nbConstraintChecks=2846342  nbValidityChecks=5841199  nbPropagations=114231  nbRevisions=1214446
4.34	     nbUselessRevisions=923535  nbAssignments=3850  nbFailedAssignments=2675  nbBacktracks=1137  nbVisitedNodes=7380
4.34	     nbRestartNogoods=39
4.34	       =>  wckTime=3.357  cpuTime=3.26  mem=20M712
6.00	   
6.00	   search
6.00	     run=10  nbConstraintChecks=4340164  nbValidityChecks=8754266  nbPropagations=172091  nbRevisions=1836100
6.00	     nbUselessRevisions=1397093  nbAssignments=5482  nbFailedAssignments=3727  nbBacktracks=1713  nbVisitedNodes=10504
6.00	     nbRestartNogoods=46
6.00	       =>  wckTime=5.019  cpuTime=4.89  mem=20M712
7.87	   
7.87	   search
7.87	     run=11  nbConstraintChecks=6051750  nbValidityChecks=12382514  nbPropagations=255619  nbRevisions=2729772
7.87	     nbUselessRevisions=2080649  nbAssignments=8157  nbFailedAssignments=5533  nbBacktracks=2578  nbVisitedNodes=15576
7.87	     nbRestartNogoods=53
7.87	       =>  wckTime=6.889  cpuTime=6.76  mem=21M680
11.92	   
11.92	   search
11.92	     run=12  nbConstraintChecks=9730904  nbValidityChecks=19884266  nbPropagations=387342  nbRevisions=4143230
11.92	     nbUselessRevisions=3157898  nbAssignments=12962  nbFailedAssignments=9036  nbBacktracks=3876  nbVisitedNodes=24918
11.92	     nbRestartNogoods=76
11.92	       =>  wckTime=10.944  cpuTime=10.81  mem=21M680
15.88	   
15.88	   search
15.88	     run=13  nbConstraintChecks=13378614  nbValidityChecks=27830471  nbPropagations=576899  nbRevisions=6168706
15.88	     nbUselessRevisions=4707443  nbAssignments=19289  nbFailedAssignments=13412  nbBacktracks=5822  nbVisitedNodes=36975
15.88	     nbRestartNogoods=91
15.88	       =>  wckTime=14.9  cpuTime=14.77  mem=21M680
25.07	   
25.07	   search
25.07	     run=14  nbConstraintChecks=21808486  nbValidityChecks=44699436  nbPropagations=873478  nbRevisions=9348993
25.07	     nbUselessRevisions=7134423  nbAssignments=29336  nbFailedAssignments=20534  nbBacktracks=8742  nbVisitedNodes=56482
25.07	     nbRestartNogoods=106
25.07	       =>  wckTime=24.095  cpuTime=23.95  mem=21M680
36.71	   
36.71	   search
36.71	     run=15  nbConstraintChecks=32524872  nbValidityChecks=66361391  nbPropagations=1311411  nbRevisions=14083743
36.71	     nbUselessRevisions=10753297  nbAssignments=42374  nbFailedAssignments=29189  nbBacktracks=13120
36.71	     nbVisitedNodes=81514  nbRestartNogoods=119
36.71	       =>  wckTime=35.732  cpuTime=35.57  mem=21M680
54.18	   
54.18	   search
54.18	     run=16  nbConstraintChecks=48543761  nbValidityChecks=99506957  nbPropagations=1969459  nbRevisions=21209155
54.18	     nbUselessRevisions=16203143  nbAssignments=64312  nbFailedAssignments=44554  nbBacktracks=19688
54.18	     nbVisitedNodes=123825  nbRestartNogoods=134
54.18	       =>  wckTime=53.198  cpuTime=53.01  mem=21M680
77.84	   
77.84	   search
77.84	     run=17  nbConstraintChecks=70195209  nbValidityChecks=142800269  nbPropagations=2901929  nbRevisions=31429028
77.84	     nbUselessRevisions=24082695  nbAssignments=90054  nbFailedAssignments=60439  nbBacktracks=29542
77.84	     nbVisitedNodes=172279  nbRestartNogoods=152
77.84	       =>  wckTime=76.86  cpuTime=76.65  mem=21M680
113.03	   
113.03	   search
113.03	     run=18  nbConstraintChecks=102708475  nbValidityChecks=206716084  nbPropagations=4252190  nbRevisions=46300433
113.03	     nbUselessRevisions=35591398  nbAssignments=127403  nbFailedAssignments=83005  nbBacktracks=44321
113.03	     nbVisitedNodes=242514  nbRestartNogoods=181
113.03	       =>  wckTime=112.05  cpuTime=111.79  mem=21M680
175.75	   
175.75	   search
175.75	     run=19  nbConstraintChecks=160311587  nbValidityChecks=321843371  nbPropagations=6334833  nbRevisions=69140681
175.75	     nbUselessRevisions=53205304  nbAssignments=195057  nbFailedAssignments=128487  nbBacktracks=66489
175.75	     nbVisitedNodes=371669  nbRestartNogoods=188
175.75	       =>  wckTime=174.773  cpuTime=174.47  mem=21M680
251.02	   
251.02	   search
251.02	     run=20  nbConstraintChecks=229144813  nbValidityChecks=457351589  nbPropagations=9300248  nbRevisions=101582915
251.02	     nbUselessRevisions=78288247  nbAssignments=264300  nbFailedAssignments=169989  nbBacktracks=94231
251.02	     nbVisitedNodes=501939  nbRestartNogoods=205
251.02	       =>  wckTime=250.039  cpuTime=249.63  mem=21M680
251.02	   
251.02	   global
251.02	     nbConstraintChecks=229144813  nbValidityChecks=457351589  nbPropagations=9300268  nbRevisions=101582915
251.02	     nbUselessRevisions=78288247  nbRestartNogoods=205  solvingWckTime=250.04  solvingCpuTime=249.63  expiredTime=no
251.02	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=250.23
251.02	       =>  wckTime=250.733  cpuTime=250.19  mem=21M680
251.02	   
251.02	s UNSATISFIABLE
251.02	d NODES 264300
251.02	d CHECKS 229144813
251.02	   
251.02	   totalWckTime=250.81  totalCpuTime=250.23

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-218412-1168079634 -o ROOT/results/node12/solver-218412-1168079634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218412-1168079634/unknown.xml 

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

/proc/loadavg: 1.86 1.99 1.95 4/93 21954
/proc/meminfo: memFree=1582624/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=1788 CPUtime=0
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 156358416 1830912 159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21953/statm: 446 160 125 14 0 91 0

[startup+0.106598 s]
/proc/loadavg: 1.86 1.99 1.95 4/93 21954
/proc/meminfo: memFree=1582624/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=914988 CPUtime=0.09
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 3112 0 1 0 8 1 0 0 23 0 8 0 156358416 936947712 2858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228747 2860 1468 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514671 s]
/proc/loadavg: 1.86 1.99 1.95 4/93 21954
/proc/meminfo: memFree=1582624/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915328 CPUtime=0.49
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 8380 0 1 0 44 5 0 0 25 0 8 0 156358416 937295872 8119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228832 8119 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33582 s]
/proc/loadavg: 1.86 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528808/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=1.32
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16195 0 1 0 123 9 0 0 25 0 8 0 156358416 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15932 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.16
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 360 0 0 0 16 0 0 0 15 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460

[startup+2.97611 s]
/proc/loadavg: 1.86 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=2.96
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16212 0 1 0 286 10 0 0 25 0 8 0 156358416 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15948 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 17 0 8 0 156358420 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460

[startup+6.27475 s]
/proc/loadavg: 1.87 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528552/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=6.23
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16220 0 1 0 613 10 0 0 25 0 8 0 156358416 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611482 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15954 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15954 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7519 s]
/proc/loadavg: 1.88 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528552/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=12.71
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 1261 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460

[startup+25.6222 s]
/proc/loadavg: 1.91 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528616/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=25.56
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 2546 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073725492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460

[startup+51.2448 s]
/proc/loadavg: 1.94 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=51.14
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 5104 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915460

[startup+102.508 s]
/proc/loadavg: 1.97 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528744/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=102.35
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 10225 10 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606701 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915460

[startup+162.531 s]
/proc/loadavg: 1.99 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=162.32
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 16221 11 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606691 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 915460

[startup+222.549 s]
/proc/loadavg: 1.99 1.99 1.95 3/100 21961
/proc/meminfo: memFree=1528680/2055920 swapFree=4160348/4192956
[pid=21953] ppid=21951 vsize=915460 CPUtime=222.26
/proc/21953/stat : 21953 (java) R 21951 21953 21656 0 -1 0 16222 0 1 0 22215 11 0 0 25 0 8 0 156358416 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073611516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21953/statm: 228865 15955 2517 14 0 215335 0
[pid=21953/tid=21955] ppid=21951 vsize=915460 CPUtime=0.05
/proc/21953/task/21955/stat : 21955 (java) S 21951 21953 21656 0 -1 64 1650 0 0 0 5 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21956] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21956/stat : 21956 (java) S 21951 21953 21656 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21957] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21957/stat : 21957 (java) S 21951 21953 21656 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156358420 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21958] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21958/stat : 21958 (java) S 21951 21953 21656 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21959] ppid=21951 vsize=915460 CPUtime=0.21
/proc/21953/task/21959/stat : 21959 (java) S 21951 21953 21656 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21960] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21960/stat : 21960 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21953/tid=21961] ppid=21951 vsize=915460 CPUtime=0
/proc/21953/task/21961/stat : 21961 (java) S 21951 21953 21656 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358423 937431040 15955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 251.048
CPU time (s): 250.719
CPU user time (s): 250.596
CPU system time (s): 0.122981
CPU usage (%): 99.869
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.596
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16229
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= 6146
involuntary context switches= 8780

runsolver used 0.328949 s user time and 0.792879 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 10:33:54 UTC 2007


IDJOB= 218412
IDBENCH= 5234
FILE ID= node12/218412-1168079634

PBS_JOBID= 3475824

Free space on /tmp= 66315 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218412-1168079634/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-218412-1168079634 -o ROOT/results/node12/solver-218412-1168079634 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218412-1168079634/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0c3b4069edc151aea481b3cb28cbb69f

RANDOM SEED= 665139291

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.265
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.265
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:       1583104 kB
Buffers:         34432 kB
Cached:         262940 kB
SwapCached:       4684 kB
Active:         158472 kB
Inactive:       233284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1583104 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2940 kB
Writeback:           0 kB
Mapped:         114132 kB
Slab:            65764 kB
Committed_AS:  4765392 kB
PageTables:       2248 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= 66315 MiB



End job on node12 on Sat Jan  6 10:38:07 UTC 2007