Trace number 208521

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 365.688 366.703

DiagnosticValue
CHECKS2422920425
NODES1885246

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-33_ext.xml
MD5SUM91844d68f905c60e332aa1a67b93aa9d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.4481
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/208521-1168074718/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.41	       =>  wckTime=0.1  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.63	     nbConstraints=333  nbRelationTypes=333  nbExtensionStructures=333  nbSharedExtensionStructures=0
0.63	     nbConflictsStructures=333  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2708  maxDegree=21
0.63	     maxArity=2
0.63	       =>  wckTime=0.32  cpuTime=0.24  mem=12M803
0.67	   
0.67	   solver IterativeSystematicSolver being built... 
0.83	       =>  wckTime=0.521  cpuTime=0.37  mem=13M918
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=19  nbPropagations=40  nbRevisions=1  nbUselessRevisions=0  nbRemovedValues=1
0.84	     detectedInconsistency=no
0.84	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M918
0.89	   
0.89	   search
0.89	     run=0  nbConstraintChecks=40259  nbPropagations=587  nbRevisions=6527  nbUselessRevisions=5254  nbAssignments=27
0.89	     nbFailedAssignments=10  nbBacktracks=12  nbVisitedNodes=47  nbRestartNogoods=0  mapSize=12  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.055  cpuTime=0.03  mem=14M894
0.91	   
0.91	   search
0.91	     run=1  nbConstraintChecks=74463  nbPropagations=1732  nbRevisions=19564  nbUselessRevisions=15952  nbAssignments=66
0.91	     nbFailedAssignments=21  nbBacktracks=28  nbVisitedNodes=103  nbRestartNogoods=1  mapSize=24  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.075  cpuTime=0.05  mem=14M894
0.93	   
0.93	   search
0.93	     run=2  nbConstraintChecks=124650  nbPropagations=3618  nbRevisions=41179  nbUselessRevisions=33564
0.93	     nbAssignments=107  nbFailedAssignments=31  nbBacktracks=50  nbVisitedNodes=166  nbRestartNogoods=4  mapSize=39
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.097  cpuTime=0.06  mem=14M894
0.95	   
0.95	   search
0.95	     run=3  nbConstraintChecks=203883  nbPropagations=6687  nbRevisions=78204  nbUselessRevisions=63866
0.95	     nbAssignments=180  nbFailedAssignments=60  nbBacktracks=85  nbVisitedNodes=288  nbRestartNogoods=7  mapSize=69
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.116  cpuTime=0.08  mem=14M894
0.98	   
0.98	   search
0.98	     run=4  nbConstraintChecks=325222  nbPropagations=11499  nbRevisions=137948  nbUselessRevisions=112530
0.98	     nbAssignments=271  nbFailedAssignments=91  nbBacktracks=135  nbVisitedNodes=441  nbRestartNogoods=9  mapSize=109
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.143  cpuTime=0.1  mem=14M894
1.02	   
1.02	   search
1.02	     run=5  nbConstraintChecks=490983  nbPropagations=18874  nbRevisions=232578  nbUselessRevisions=189782
1.02	     nbAssignments=414  nbFailedAssignments=148  nbBacktracks=212  nbVisitedNodes=683  nbRestartNogoods=14  mapSize=170
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.183  cpuTime=0.14  mem=14M894
1.07	   
1.07	   search
1.07	     run=6  nbConstraintChecks=728860  nbPropagations=29896  nbRevisions=376677  nbUselessRevisions=306965
1.07	     nbAssignments=619  nbFailedAssignments=231  nbBacktracks=325  nbVisitedNodes=1047  nbRestartNogoods=21  mapSize=274
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.235  cpuTime=0.19  mem=14M894
1.14	   
1.14	   search
1.14	     run=7  nbConstraintChecks=1015499  nbPropagations=45256  nbRevisions=577332  nbUselessRevisions=469619
1.14	     nbAssignments=896  nbFailedAssignments=328  nbBacktracks=496  nbVisitedNodes=1500  nbRestartNogoods=26  mapSize=404
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.302  cpuTime=0.25  mem=14M894
1.24	   
1.24	   search
1.24	     run=8  nbConstraintChecks=1512537  nbPropagations=67993  nbRevisions=878409  nbUselessRevisions=713849
1.24	     nbAssignments=1322  nbFailedAssignments=489  nbBacktracks=754  nbVisitedNodes=2238  nbRestartNogoods=32
1.24	     mapSize=624  nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.405  cpuTime=0.35  mem=14M894
1.40	   
1.40	   search
1.40	     run=9  nbConstraintChecks=2294227  nbPropagations=102267  nbRevisions=1340172  nbUselessRevisions=1088734
1.40	     nbAssignments=1968  nbFailedAssignments=745  nbBacktracks=1138  nbVisitedNodes=3351  nbRestartNogoods=35
1.40	     mapSize=953  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.564  cpuTime=0.49  mem=14M894
1.45	   
1.45	   INFO : Stopping hyperNogood (mapSize=1045, nbTooLargekeys=0, mem=14M894)
1.62	   
1.62	   search
1.62	     run=10  nbConstraintChecks=3526307  nbPropagations=153947  nbRevisions=2044251  nbUselessRevisions=1660097
1.62	     nbAssignments=2924  nbFailedAssignments=1116  nbBacktracks=1716  nbVisitedNodes=5012  nbRestartNogoods=40
1.62	       =>  wckTime=0.779  cpuTime=0.69  mem=14M894
1.92	   
1.92	   search
1.92	     run=11  nbConstraintChecks=5336457  nbPropagations=232393  nbRevisions=3121088  nbUselessRevisions=2535027
1.92	     nbAssignments=4422  nbFailedAssignments=1738  nbBacktracks=2581  nbVisitedNodes=7638  nbRestartNogoods=47
1.92	       =>  wckTime=1.082  cpuTime=0.99  mem=14M894
2.36	   
2.36	   search
2.36	     run=12  nbConstraintChecks=8038069  nbPropagations=348728  nbRevisions=4725278  nbUselessRevisions=3836386
2.36	     nbAssignments=6586  nbFailedAssignments=2595  nbBacktracks=3878  nbVisitedNodes=11373  nbRestartNogoods=56
2.36	       =>  wckTime=1.522  cpuTime=1.42  mem=14M894
3.03	   
3.03	   search
3.03	     run=13  nbConstraintChecks=12081520  nbPropagations=525555  nbRevisions=7179921  nbUselessRevisions=5830031
3.03	     nbAssignments=9955  nbFailedAssignments=4009  nbBacktracks=5826  nbVisitedNodes=17312  nbRestartNogoods=63
3.03	       =>  wckTime=2.193  cpuTime=2.09  mem=14M894
3.95	   
3.95	   search
3.95	     run=14  nbConstraintChecks=17534664  nbPropagations=785529  nbRevisions=10786404  nbUselessRevisions=8763196
3.95	     nbAssignments=14721  nbFailedAssignments=5845  nbBacktracks=8745  nbVisitedNodes=25557  nbRestartNogoods=71
3.95	       =>  wckTime=3.116  cpuTime=3.01  mem=14M894
5.35	   
5.35	   search
5.35	     run=15  nbConstraintChecks=26155127  nbPropagations=1167481  nbRevisions=16070038  nbUselessRevisions=13050952
5.35	     nbAssignments=21720  nbFailedAssignments=8458  nbBacktracks=13124  nbVisitedNodes=37510  nbRestartNogoods=83
5.35	       =>  wckTime=4.51  cpuTime=4.38  mem=14M894
7.58	   
7.58	   search
7.58	     run=16  nbConstraintChecks=39739299  nbPropagations=1749234  nbRevisions=24146015  nbUselessRevisions=19610525
7.58	     nbAssignments=32885  nbFailedAssignments=13048  nbBacktracks=19693  nbVisitedNodes=57025  nbRestartNogoods=90
7.58	       =>  wckTime=6.743  cpuTime=6.6  mem=14M894
10.66	   
10.66	   search
10.66	     run=17  nbConstraintChecks=58539441  nbPropagations=2603298  nbRevisions=36003863  nbUselessRevisions=29239839
10.66	     nbAssignments=48697  nbFailedAssignments=19000  nbBacktracks=29547  nbVisitedNodes=84122  nbRestartNogoods=99
10.66	       =>  wckTime=9.821  cpuTime=9.65  mem=14M894
15.69	   
15.69	   search
15.70	     run=18  nbConstraintChecks=89322065  nbPropagations=3901726  nbRevisions=54043299  nbUselessRevisions=43887886
15.70	     nbAssignments=73122  nbFailedAssignments=28638  nbBacktracks=44327  nbVisitedNodes=126686  nbRestartNogoods=109
15.70	       =>  wckTime=14.859  cpuTime=14.63  mem=14M894
23.32	   
23.32	   search
23.32	     run=19  nbConstraintChecks=136798743  nbPropagations=5869563  nbRevisions=81505683  nbUselessRevisions=66202296
23.32	     nbAssignments=109641  nbFailedAssignments=42980  nbBacktracks=66496  nbVisitedNodes=190309  nbRestartNogoods=124
23.32	       =>  wckTime=22.48  cpuTime=22.19  mem=14M894
33.90	   
33.90	   search
33.90	     run=20  nbConstraintChecks=201460366  nbPropagations=8776170  nbRevisions=121967003  nbUselessRevisions=99069396
33.90	     nbAssignments=163121  nbFailedAssignments=63199  nbBacktracks=99750  nbVisitedNodes=282250  nbRestartNogoods=134
33.90	       =>  wckTime=33.066  cpuTime=32.68  mem=14M894
50.95	   
50.95	   search
50.95	     run=21  nbConstraintChecks=306550043  nbPropagations=13184980  nbRevisions=183447827  nbUselessRevisions=149017269
50.95	     nbAssignments=245840  nbFailedAssignments=96030  nbBacktracks=149632  nbVisitedNodes=426027  nbRestartNogoods=148
50.95	       =>  wckTime=50.116  cpuTime=49.57  mem=14M894
75.41	   
75.41	   search
75.41	     run=22  nbConstraintChecks=457113652  nbPropagations=19757233  nbRevisions=274909850  nbUselessRevisions=223309062
75.41	     nbAssignments=367413  nbFailedAssignments=142778  nbBacktracks=224450  nbVisitedNodes=635574  nbRestartNogoods=165
75.41	       =>  wckTime=74.576  cpuTime=73.81  mem=14M894
112.72	   
112.72	   search
112.72	     run=23  nbConstraintChecks=701166934  nbPropagations=29764425  nbRevisions=414666421  nbUselessRevisions=336868129
112.72	     nbAssignments=554374  nbFailedAssignments=217506  nbBacktracks=336678  nbVisitedNodes=962358  nbRestartNogoods=185
112.72	       =>  wckTime=111.883  cpuTime=110.92  mem=14M894
164.46	   
164.46	   search
164.46	     run=24  nbConstraintChecks=1048157942  nbPropagations=44720320  nbRevisions=623876573  nbUselessRevisions=506929538
164.46	     nbAssignments=828935  nbFailedAssignments=323719  nbBacktracks=505020  nbVisitedNodes=1438011  nbRestartNogoods=195
164.46	       =>  wckTime=163.624  cpuTime=162.64  mem=14M894
244.19	   
244.19	   search
244.19	     run=25  nbConstraintChecks=1587680305  nbPropagations=67322286  nbRevisions=940663548  nbUselessRevisions=764523464
244.19	     nbAssignments=1247361  nbFailedAssignments=489627  nbBacktracks=757533  nbVisitedNodes=2166696
244.19	     nbRestartNogoods=209
244.19	       =>  wckTime=243.353  cpuTime=242.34  mem=14M894
364.80	   
364.80	   search
364.80	     run=26  nbConstraintChecks=2410458556  nbPropagations=101394122  nbRevisions=1418574189
364.80	     nbUselessRevisions=1152841788  nbAssignments=1875560  nbFailedAssignments=739051  nbBacktracks=1136303
364.80	     nbVisitedNodes=3257702  nbRestartNogoods=218
364.80	       =>  wckTime=363.964  cpuTime=362.93  mem=14M894
366.65	   
366.65	   search
366.65	     run=27  nbConstraintChecks=2422920406  nbPropagations=135640470  nbRevisions=1898931571
366.65	     nbUselessRevisions=1543142371  nbAssignments=1885246  nbFailedAssignments=743022  nbBacktracks=1141978
366.65	     nbVisitedNodes=3274588  nbRestartNogoods=229
366.65	       =>  wckTime=365.811  cpuTime=364.77  mem=14M894
366.65	   
366.65	   global
366.65	     nbConstraintChecks=2422920425  nbPropagations=135640510  nbRevisions=1898931572  nbUselessRevisions=1543142371
366.65	     nbRestartNogoods=229  solvingWckTime=365.813  solvingCpuTime=364.77  expiredTime=no  totalExploration=no
366.65	     nbFoundSolutions=1  globalCpuTime=365.19
366.65	       =>  wckTime=366.337  cpuTime=365.14  mem=14M894
366.65	   
366.65	s SATISFIABLE
366.65	v 5 11 0 11 11 15 17 10 0 17 17 8 5 3 18 1 10 12 1 7 16 6 0 15 2 11 18 15 18 13 5 7 6 3 12 13 13 10 6 13 
366.65	d NODES 1885246
366.65	d CHECKS 2422920425
366.65	   
366.65	   totalWckTime=366.419  totalCpuTime=365.19

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/node72/watcher-208521-1168074718 -o ROOT/results/node72/solver-208521-1168074718 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208521-1168074718/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.54 1.33 1.53 4/93 604
/proc/meminfo: memFree=1437288/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=18540 CPUtime=0
/proc/603/stat : 603 (runsolver) R 601 603 32675 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155880645 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/603/statm: 4635 279 244 17 0 2626 0

[startup+0.109909 s]
/proc/loadavg: 1.54 1.33 1.53 4/93 604
/proc/meminfo: memFree=1437288/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=914988 CPUtime=0.09
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 3054 0 1 0 8 1 0 0 17 0 8 0 155880645 936947712 2800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228747 2800 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.517941 s]
/proc/loadavg: 1.54 1.33 1.53 4/93 604
/proc/meminfo: memFree=1437288/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915328 CPUtime=0.5
/proc/603/stat : 603 (java) S 601 603 32675 0 -1 0 6893 0 1 0 46 4 0 0 18 0 8 0 155880645 937295872 6632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228832 6632 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33902 s]
/proc/loadavg: 1.54 1.33 1.53 3/100 611
/proc/meminfo: memFree=1413744/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=1.3
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8635 0 1 0 125 5 0 0 20 0 8 0 155880645 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8373 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.22
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8373 18446744073709551615 134512640 134570532 4294956480 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) 915456

[startup+2.97616 s]
/proc/loadavg: 1.57 1.34 1.53 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=2.93
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8667 0 1 0 288 5 0 0 25 0 8 0 155880645 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8404 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.23
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.17745 s]
/proc/loadavg: 1.57 1.34 1.53 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=6.1
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8675 0 1 0 605 5 0 0 25 0 8 0 155880645 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8412 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.23
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456

[startup+12.646 s]
/proc/loadavg: 1.64 1.37 1.54 3/100 611
/proc/meminfo: memFree=1413424/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=12.5
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8680 0 1 0 1245 5 0 0 25 0 8 0 155880645 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8417 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155880649 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456

[startup+25.5082 s]
/proc/loadavg: 1.69 1.39 1.54 3/100 611
/proc/meminfo: memFree=1413488/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=25.26
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8686 0 1 0 2520 6 0 0 25 0 8 0 155880645 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8422 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915456

[startup+51.1135 s]
/proc/loadavg: 1.87 1.45 1.56 3/100 611
/proc/meminfo: memFree=1413488/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=50.63
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8691 0 1 0 5057 6 0 0 25 0 8 0 155880645 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816383 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/603/statm: 228864 8427 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915456

[startup+102.325 s]
/proc/loadavg: 1.87 1.52 1.57 3/100 667
/proc/meminfo: memFree=1379752/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=101.46
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8694 0 1 0 10139 7 0 0 25 0 8 0 155880645 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8430 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456

[startup+162.402 s]
/proc/loadavg: 1.88 1.58 1.59 2/88 733
/proc/meminfo: memFree=1438864/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=161.48
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8696 0 1 0 16140 8 0 0 25 0 8 0 155880645 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803113 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8432 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8432 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 915456

[startup+222.416 s]
/proc/loadavg: 1.32 1.48 1.55 2/85 737
/proc/meminfo: memFree=1444336/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=221.47
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8699 0 1 0 22139 8 0 0 25 0 8 0 155880645 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8435 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.47
Current children cumulated vsize (KiB) 915456

[startup+282.432 s]
/proc/loadavg: 1.12 1.39 1.51 2/85 739
/proc/meminfo: memFree=1444272/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=281.47
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8701 0 1 0 28138 9 0 0 25 0 8 0 155880645 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8437 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.47
Current children cumulated vsize (KiB) 915456

[startup+342.448 s]
/proc/loadavg: 1.04 1.31 1.48 2/85 739
/proc/meminfo: memFree=1444336/2055920 swapFree=4192812/4192956
[pid=603] ppid=601 vsize=915456 CPUtime=341.47
/proc/603/stat : 603 (java) R 601 603 32675 0 -1 0 8701 0 1 0 34138 9 0 0 25 0 8 0 155880645 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820145 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/603/statm: 228864 8437 2513 14 0 215334 0
[pid=603/tid=605] ppid=601 vsize=915456 CPUtime=0.03
/proc/603/task/605/stat : 605 (java) S 601 603 32675 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155880649 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=606] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/606/stat : 606 (java) S 601 603 32675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=607] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/607/stat : 607 (java) S 601 603 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155880650 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=608] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/608/stat : 608 (java) S 601 603 32675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=609] ppid=601 vsize=915456 CPUtime=0.24
/proc/603/task/609/stat : 609 (java) S 601 603 32675 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=610] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/610/stat : 610 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=603/tid=611] ppid=601 vsize=915456 CPUtime=0
/proc/603/task/611/stat : 611 (java) S 601 603 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155880653 937426944 8437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.47
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 366.703
CPU time (s): 365.688
CPU user time (s): 365.588
CPU system time (s): 0.099984
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 365.588
system time used= 0.099984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8794
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= 8251
involuntary context switches= 12995

runsolver used 0.434933 s user time and 1.00985 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 09:11:58 UTC 2007


IDJOB= 208521
IDBENCH= 4401
FILE ID= node72/208521-1168074718

PBS_JOBID= 3476025

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208521-1168074718/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-208521-1168074718 -o ROOT/results/node72/solver-208521-1168074718 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208521-1168074718/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  91844d68f905c60e332aa1a67b93aa9d

RANDOM SEED= 466112337

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.223
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.223
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:       1437704 kB
Buffers:         40728 kB
Cached:         432348 kB
SwapCached:          0 kB
Active:         168884 kB
Inactive:       376524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1437704 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:         101300 kB
Slab:            57400 kB
Committed_AS:  3402544 kB
PageTables:       2372 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= 66551 MiB



End job on node72 on Sat Jan  6 09:18:05 UTC 2007