Trace number 247478

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 301.116 301.301

DiagnosticValue
CHECKS93142565
NODES217469

General information on the benchmark

Namerandom/rand-8-20-5/
rand-8-20-5-18-800-1_ext.xml
MD5SUM6c2ec320160e3910acae4606bd2d6fff
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 benchmark155.889
SatisfiableYES
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.32	   
0.32	   instance
0.33	     name=/tmp/evaluation/247478-1168085849/unknown.xml
0.35	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=20  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.39	       =>  wckTime=0.093  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
3.85	   
3.85	   INFO : Contraction of relations, mem = 103M208
6.08	   
6.08	   constraints being loaded...
9.41	     nbConstraints=18  nbRelationTypes=18  nbExtensionStructures=18  nbSharedExtensionStructures=0
9.41	     nbConflictsStructures=18  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=8
9.41	       =>  wckTime=9.118  cpuTime=7.4  mem=229M637
10.25	   
10.25	   solver IterativeSystematicSolver being built... 
10.40	       =>  wckTime=10.106  cpuTime=7.53  mem=143M437
10.41	   
10.41	   preprocessing
10.41	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
10.41	     detectedInconsistency=no
10.41	       =>  wckTime=0.0020  cpuTime=0.01  mem=143M437
10.50	   
10.50	   search
10.50	     run=0  nbConstraintChecks=14312  nbValidityChecks=22858  nbPropagations=205  nbRevisions=2982
10.50	     nbUselessRevisions=2569  nbAssignments=33  nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=58
10.50	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
10.50	       =>  wckTime=0.095  cpuTime=0.08  mem=143M437
10.58	   
10.58	   search
10.58	     run=1  nbConstraintChecks=32253  nbValidityChecks=52451  nbPropagations=645  nbRevisions=9856
10.58	     nbUselessRevisions=8505  nbAssignments=75  nbFailedAssignments=34  nbBacktracks=28  nbVisitedNodes=130
10.58	     nbRestartNogoods=5  mapSize=26  nbInferences=0  nbTooLargeKeys=0
10.58	       =>  wckTime=0.172  cpuTime=0.15  mem=143M437
10.67	   
10.67	   search
10.67	     run=2  nbConstraintChecks=56355  nbValidityChecks=91680  nbPropagations=1366  nbRevisions=21853
10.67	     nbUselessRevisions=18944  nbAssignments=130  nbFailedAssignments=59  nbBacktracks=50  nbVisitedNodes=221
10.67	     nbRestartNogoods=6  mapSize=43  nbInferences=0  nbTooLargeKeys=0
10.67	       =>  wckTime=0.263  cpuTime=0.23  mem=143M437
10.77	   
10.77	   search
10.77	     run=3  nbConstraintChecks=86218  nbValidityChecks=140946  nbPropagations=2490  nbRevisions=40317
10.77	     nbUselessRevisions=34946  nbAssignments=212  nbFailedAssignments=101  nbBacktracks=83  nbVisitedNodes=364
10.77	     nbRestartNogoods=12  mapSize=73  nbInferences=0  nbTooLargeKeys=0
10.77	       =>  wckTime=0.365  cpuTime=0.33  mem=143M437
10.90	   
10.90	   search
10.90	     run=4  nbConstraintChecks=125396  nbValidityChecks=208449  nbPropagations=4229  nbRevisions=68222
10.90	     nbUselessRevisions=59114  nbAssignments=323  nbFailedAssignments=153  nbBacktracks=135  nbVisitedNodes=556
10.90	     nbRestartNogoods=16  mapSize=113  nbInferences=0  nbTooLargeKeys=0
10.90	       =>  wckTime=0.498  cpuTime=0.46  mem=143M437
11.11	   
11.11	   search
11.11	     run=5  nbConstraintChecks=191392  nbValidityChecks=316949  nbPropagations=6864  nbRevisions=110649
11.11	     nbUselessRevisions=95795  nbAssignments=477  nbFailedAssignments=224  nbBacktracks=210  nbVisitedNodes=831
11.11	     nbRestartNogoods=23  mapSize=174  nbInferences=0  nbTooLargeKeys=0
11.11	       =>  wckTime=0.707  cpuTime=0.66  mem=143M437
11.42	   
11.42	   search
11.42	     run=6  nbConstraintChecks=283593  nbValidityChecks=471844  nbPropagations=10893  nbRevisions=175053
11.42	     nbUselessRevisions=151390  nbAssignments=702  nbFailedAssignments=325  nbBacktracks=326  nbVisitedNodes=1233
11.42	     nbRestartNogoods=31  mapSize=274  nbInferences=0  nbTooLargeKeys=0
11.42	       =>  wckTime=1.017  cpuTime=0.97  mem=143M437
11.95	   
11.95	   search
11.95	     run=7  nbConstraintChecks=439322  nbValidityChecks=731797  nbPropagations=17193  nbRevisions=274903
11.95	     nbUselessRevisions=237520  nbAssignments=1061  nbFailedAssignments=503  nbBacktracks=499  nbVisitedNodes=1883
11.95	     nbRestartNogoods=39  mapSize=421  nbInferences=0  nbTooLargeKeys=0
11.95	       =>  wckTime=1.547  cpuTime=1.49  mem=143M437
12.66	   
12.66	   search
12.66	     run=8  nbConstraintChecks=649236  nbValidityChecks=1077773  nbPropagations=26574  nbRevisions=421905
12.66	     nbUselessRevisions=364220  nbAssignments=1547  nbFailedAssignments=726  nbBacktracks=756  nbVisitedNodes=2747
12.66	     nbRestartNogoods=48  mapSize=631  nbInferences=0  nbTooLargeKeys=0
12.66	       =>  wckTime=2.253  cpuTime=2.18  mem=143M437
13.68	   
13.68	   search
13.68	     run=9  nbConstraintChecks=969979  nbValidityChecks=1612603  nbPropagations=40606  nbRevisions=642871
13.68	     nbUselessRevisions=554907  nbAssignments=2297  nbFailedAssignments=1082  nbBacktracks=1142  nbVisitedNodes=4085
13.68	     nbRestartNogoods=53  mapSize=960  nbInferences=0  nbTooLargeKeys=0
13.68	       =>  wckTime=3.273  cpuTime=3.19  mem=143M437
13.86	   
13.86	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=143M437)
15.18	   
15.18	   search
15.18	     run=10  nbConstraintChecks=1438744  nbValidityChecks=2388195  nbPropagations=61358  nbRevisions=969362
15.18	     nbUselessRevisions=836418  nbAssignments=3438  nbFailedAssignments=1640  nbBacktracks=1720  nbVisitedNodes=6115
15.18	     nbRestartNogoods=64
15.18	       =>  wckTime=4.777  cpuTime=4.68  mem=143M437
17.41	   
17.41	   search
17.41	     run=11  nbConstraintChecks=2160109  nbValidityChecks=3553719  nbPropagations=91751  nbRevisions=1449413
17.41	     nbUselessRevisions=1250164  nbAssignments=5120  nbFailedAssignments=2450  nbBacktracks=2587  nbVisitedNodes=9096
17.41	     nbRestartNogoods=67
17.41	       =>  wckTime=7.009  cpuTime=6.91  mem=143M437
21.00	   
21.00	   search
21.00	     run=12  nbConstraintChecks=3287452  nbValidityChecks=5443042  nbPropagations=138814  nbRevisions=2190854
21.00	     nbUselessRevisions=1889365  nbAssignments=7720  nbFailedAssignments=3747  nbBacktracks=3884  nbVisitedNodes=13799
21.00	     nbRestartNogoods=74
21.00	       =>  wckTime=10.601  cpuTime=10.5  mem=143M437
25.95	   
25.96	   search
25.96	     run=13  nbConstraintChecks=4870614  nbValidityChecks=8039382  nbPropagations=208149  nbRevisions=3282777
25.96	     nbUselessRevisions=2830301  nbAssignments=11476  nbFailedAssignments=5548  nbBacktracks=5833  nbVisitedNodes=20479
25.96	     nbRestartNogoods=80
25.96	       =>  wckTime=15.551  cpuTime=15.44  mem=143M437
33.47	   
33.47	   search
33.47	     run=14  nbConstraintChecks=7249504  nbValidityChecks=11970025  nbPropagations=311794  nbRevisions=4910169
33.47	     nbUselessRevisions=4232199  nbAssignments=17155  nbFailedAssignments=8298  nbBacktracks=8755  nbVisitedNodes=30634
33.47	     nbRestartNogoods=87
33.47	       =>  wckTime=23.063  cpuTime=22.94  mem=144M101
44.75	   
44.75	   search
44.75	     run=15  nbConstraintChecks=10845093  nbValidityChecks=17908562  nbPropagations=466926  nbRevisions=7343886
44.75	     nbUselessRevisions=6329004  nbAssignments=25667  nbFailedAssignments=12424  nbBacktracks=13133
44.75	     nbVisitedNodes=45841  nbRestartNogoods=98
44.75	       =>  wckTime=34.345  cpuTime=34.22  mem=144M101
61.32	   
61.32	   search
61.32	     run=16  nbConstraintChecks=16259234  nbValidityChecks=26684851  nbPropagations=697116  nbRevisions=10940646
61.32	     nbUselessRevisions=9422727  nbAssignments=38628  nbFailedAssignments=18809  nbBacktracks=19702
61.32	     nbVisitedNodes=68917  nbRestartNogoods=111
61.32	       =>  wckTime=50.912  cpuTime=50.78  mem=144M101
87.56	   
87.56	   search
87.56	     run=17  nbConstraintChecks=24632789  nbValidityChecks=40401216  nbPropagations=1046568  nbRevisions=16390657
87.56	     nbUselessRevisions=14110497  nbAssignments=57843  nbFailedAssignments=28164  nbBacktracks=29556
87.56	     nbVisitedNodes=103494  nbRestartNogoods=129
87.56	       =>  wckTime=77.16  cpuTime=77.0  mem=144M101
125.80	   
125.80	   search
125.80	     run=18  nbConstraintChecks=36868095  nbValidityChecks=60451669  nbPropagations=1568542  nbRevisions=24542539
125.80	     nbUselessRevisions=21124148  nbAssignments=86744  nbFailedAssignments=42279  nbBacktracks=44335
125.80	     nbVisitedNodes=155126  nbRestartNogoods=141
125.80	       =>  wckTime=115.4  cpuTime=115.23  mem=144M101
183.33	   
183.33	   search
183.33	     run=19  nbConstraintChecks=55464986  nbValidityChecks=90674019  nbPropagations=2351967  nbRevisions=36743668
183.34	     nbUselessRevisions=31616008  nbAssignments=130173  nbFailedAssignments=63534  nbBacktracks=66503
183.34	     nbVisitedNodes=232745  nbRestartNogoods=151
183.34	       =>  wckTime=172.931  cpuTime=172.75  mem=144M101
272.14	   
272.14	   search
272.14	     run=20  nbConstraintChecks=83905714  nbValidityChecks=137088620  nbPropagations=3533771  nbRevisions=55170176
272.14	     nbUselessRevisions=47461888  nbAssignments=196054  nbFailedAssignments=96154  nbBacktracks=99755
272.14	     nbVisitedNodes=350897  nbRestartNogoods=154
272.14	       =>  wckTime=261.735  cpuTime=261.52  mem=144M101
301.22	   
301.22	   search
301.22	     run=21  nbConstraintChecks=93142565  nbValidityChecks=152245671  nbPropagations=4847263  nbRevisions=75653846
301.22	     nbUselessRevisions=65079313  nbAssignments=217469  nbFailedAssignments=106651  nbBacktracks=110653
301.22	     nbVisitedNodes=389346  nbRestartNogoods=162
301.22	       =>  wckTime=290.816  cpuTime=290.59  mem=144M101
301.22	   
301.22	   global
301.22	     nbConstraintChecks=93142565  nbValidityChecks=152245671  nbPropagations=4847283  nbRevisions=75653846
301.22	     nbUselessRevisions=65079313  nbRestartNogoods=162  solvingWckTime=290.817  solvingCpuTime=290.59  expiredTime=no
301.22	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=298.17
301.22	       =>  wckTime=300.925  cpuTime=298.12  mem=144M101
301.23	   
301.23	s SATISFIABLE
301.23	v 1 0 2 2 3 2 4 1 2 4 3 3 1 3 0 1 0 2 4 2 
301.23	d NODES 217469
301.23	d CHECKS 93142565
301.23	   
301.23	   totalWckTime=301.001  totalCpuTime=298.18

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

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

/proc/loadavg: 0.32 0.35 1.01 4/83 19679
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=0 CPUtime=0
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 156981693 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19678/statm: 41 2 0 0 0 1 0

[startup+0.105947 s]
/proc/loadavg: 0.32 0.35 1.01 4/83 19679
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=914988 CPUtime=0.08
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 3065 0 1 0 7 1 0 0 16 0 8 0 156981693 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154185050 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513996 s]
/proc/loadavg: 0.32 0.35 1.01 4/83 19679
/proc/meminfo: memFree=1728936/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915328 CPUtime=0.49
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 10139 0 1 0 45 4 0 0 17 0 8 0 156981693 937295872 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228832 9878 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33707 s]
/proc/loadavg: 0.32 0.35 1.01 2/88 19686
/proc/meminfo: memFree=1659520/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915328 CPUtime=1.32
/proc/19678/stat : 19678 (java) S 19676 19678 19415 0 -1 0 21675 0 1 0 122 10 0 0 20 0 8 0 156981693 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228832 21412 2147 14 0 215302 0
[pid=19678/tid=19680] ppid=19676 vsize=915328 CPUtime=0.05
/proc/19678/task/19680/stat : 19680 (java) R 19676 19678 19415 0 -1 64 5263 0 0 0 4 1 0 0 16 0 8 0 156981697 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155772492 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156981697 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156981697 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915328 CPUtime=0.06
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 304 0 0 0 6 0 0 0 16 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937295872 21412 18446744073709551615 134512640 134570532 4294956480 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) 915328

[startup+2.99026 s]
/proc/loadavg: 0.37 0.36 1.01 2/88 19686
/proc/meminfo: memFree=1636160/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915328 CPUtime=2.97
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 30342 0 1 0 282 15 0 0 18 0 8 0 156981693 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3071571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228832 30076 2147 14 0 215302 0
[pid=19678/tid=19680] ppid=19676 vsize=915328 CPUtime=0.21
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 13925 0 0 0 16 5 0 0 16 0 8 0 156981697 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156981697 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156981697 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915328 CPUtime=0.07
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 306 0 0 0 7 0 0 0 16 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915328 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937295872 30076 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915328

[startup+6.27161 s]
/proc/loadavg: 0.37 0.36 1.01 2/88 19686
/proc/meminfo: memFree=1582720/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=6.25
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 40800 0 1 0 604 21 0 0 17 0 8 0 156981693 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 38953 2162 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=0.92
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 24339 0 0 0 82 10 0 0 16 0 8 0 156981697 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.09
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 38953 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915400

[startup+12.7581 s]
/proc/loadavg: 0.47 0.38 1.01 2/88 19686
/proc/meminfo: memFree=1488832/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=12.73
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64487 0 1 0 1242 31 0 0 17 0 8 0 156981693 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635363 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19678/statm: 228850 62631 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 17 0 8 0 156981697 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.21
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 386 0 0 0 20 1 0 0 16 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915400

[startup+25.5915 s]
/proc/loadavg: 0.55 0.40 1.01 2/88 19686
/proc/meminfo: memFree=1488768/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=25.54
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64495 0 1 0 2523 31 0 0 21 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915400

[startup+51.2853 s]
/proc/loadavg: 0.70 0.45 1.01 2/88 19687
/proc/meminfo: memFree=1490496/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=51.21
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 5089 32 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915400

[startup+102.561 s]
/proc/loadavg: 0.88 0.54 1.00 2/88 19724
/proc/meminfo: memFree=1488640/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=102.45
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 10212 33 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915400

[startup+162.588 s]
/proc/loadavg: 1.59 0.80 1.06 3/100 19736
/proc/meminfo: memFree=1461024/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=162.46
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 16213 33 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (KiB) 915400

[startup+222.611 s]
/proc/loadavg: 1.83 1.00 1.11 3/100 19736
/proc/meminfo: memFree=1460960/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=222.47
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 22213 34 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073635316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 915400

[startup+282.634 s]
/proc/loadavg: 1.97 1.21 1.18 3/100 19736
/proc/meminfo: memFree=1460960/2055920 swapFree=4192812/4192956
[pid=19678] ppid=19676 vsize=915400 CPUtime=282.48
/proc/19678/stat : 19678 (java) R 19676 19678 19415 0 -1 0 64496 0 1 0 28214 34 0 0 25 0 8 0 156981693 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19678/statm: 228850 62637 2522 14 0 215320 0
[pid=19678/tid=19680] ppid=19676 vsize=915400 CPUtime=2.45
/proc/19678/task/19680/stat : 19680 (java) S 19676 19678 19415 0 -1 64 47526 0 0 0 226 19 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19681] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19681/stat : 19681 (java) S 19676 19678 19415 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19682] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19682/stat : 19682 (java) S 19676 19678 19415 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156981697 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19683] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19683/stat : 19683 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19684] ppid=19676 vsize=915400 CPUtime=0.22
/proc/19678/task/19684/stat : 19684 (java) S 19676 19678 19415 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19678/tid=19685] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19685/stat : 19685 (java) S 19676 19678 19415 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19678/tid=19686] ppid=19676 vsize=915400 CPUtime=0
/proc/19678/task/19686/stat : 19686 (java) S 19676 19678 19415 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156981700 937369600 62637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 282.48
Current children cumulated vsize (KiB) 915400

Child status: 0
Real time (s): 301.301
CPU time (s): 301.116
CPU user time (s): 300.731
CPU system time (s): 0.384941
CPU usage (%): 99.9387
Max. virtual memory (cumulated for all children) (KiB): 919404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.731
system time used= 0.384941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64500
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= 6971
involuntary context switches= 12431

runsolver used 0.289955 s user time and 0.813876 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 12:17:41 UTC 2007


IDJOB= 247478
IDBENCH= 11130
FILE ID= node24/247478-1168085849

PBS_JOBID= 3476526

Free space on /tmp= 66443 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6c2ec320160e3910acae4606bd2d6fff

RANDOM SEED= 20346901

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.234
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.234
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:       1729120 kB
Buffers:         28584 kB
Cached:         172016 kB
SwapCached:          0 kB
Active:         146272 kB
Inactive:       111704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1729120 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           25376 kB
Writeback:           0 kB
Mapped:          76356 kB
Slab:            53852 kB
Committed_AS:  2982640 kB
PageTables:       2196 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= 66443 MiB



End job on node24 on Sat Jan  6 12:22:46 UTC 2007