Trace number 202854

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 ESACSAT 228.26 229.662

DiagnosticValue
CHECKS1434466780
NODES1086944

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-49_ext.xml
MD5SUMe1305f5623c59db0134743690ebda389
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 benchmark40.0869
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints348
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension348
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=esac.xml
0.43	   
0.43	   instance
0.43	     name=/tmp/evaluation/202854-1168154601/unknown.xml
0.46	   
0.46	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.50	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.50	       =>  wckTime=0.106  cpuTime=0.09  mem=6M951
0.50	   
0.50	   relations being loaded...
0.62	   
0.62	   constraints being loaded...
0.74	     nbConstraints=348  nbRelationTypes=348  nbExtensionStructures=348  nbSharedExtensionStructures=0
0.74	     nbConflictsStructures=348  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3198  maxDegree=26
0.74	     maxArity=2
0.74	       =>  wckTime=0.338  cpuTime=0.24  mem=13M779
0.78	   
0.78	   solver IterativeSystematicSolver being built... 
0.95	       =>  wckTime=0.552  cpuTime=0.38  mem=15M27
1.01	   
1.01	   preprocessing
1.01	     nbConstraintChecks=70519  nbPropagations=928  nbRevisions=7252  nbUselessRevisions=6024  nbSingletonTests=53
1.01	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
1.01	       =>  wckTime=0.055  cpuTime=0.04  mem=15M27
1.03	   
1.03	   search
1.03	     run=0  nbConstraintChecks=36118  nbPropagations=1471  nbRevisions=14017  nbUselessRevisions=11570  nbAssignments=26
1.03	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=43  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.082  cpuTime=0.05  mem=15M27
1.05	   
1.05	   search
1.05	     run=1  nbConstraintChecks=72531  nbPropagations=3498  nbRevisions=34641  nbUselessRevisions=28670  nbAssignments=57
1.05	     nbFailedAssignments=17  nbBacktracks=25  nbVisitedNodes=90  nbRestartNogoods=4  mapSize=21  nbInferences=0
1.05	     nbTooLargeKeys=0
1.05	       =>  wckTime=0.101  cpuTime=0.06  mem=15M27
1.07	   
1.07	   search
1.07	     run=2  nbConstraintChecks=138352  nbPropagations=6498  nbRevisions=67579  nbUselessRevisions=55822
1.07	     nbAssignments=106  nbFailedAssignments=35  nbBacktracks=47  nbVisitedNodes=170  nbRestartNogoods=6  mapSize=41
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.12  cpuTime=0.08  mem=15M27
1.09	   
1.09	   search
1.09	     run=3  nbConstraintChecks=217984  nbPropagations=10654  nbRevisions=115558  nbUselessRevisions=95200
1.09	     nbAssignments=167  nbFailedAssignments=54  nbBacktracks=82  nbVisitedNodes=272  nbRestartNogoods=10  mapSize=69
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.138  cpuTime=0.1  mem=15M27
1.11	   
1.11	   search
1.11	     run=4  nbConstraintChecks=305110  nbPropagations=16105  nbRevisions=181480  nbUselessRevisions=149237
1.11	     nbAssignments=247  nbFailedAssignments=79  nbBacktracks=133  nbVisitedNodes=402  nbRestartNogoods=14  mapSize=106
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.16  cpuTime=0.12  mem=15M27
1.16	   
1.16	   search
1.16	     run=5  nbConstraintChecks=460088  nbPropagations=23789  nbRevisions=278710  nbUselessRevisions=229095
1.16	     nbAssignments=378  nbFailedAssignments=128  nbBacktracks=208  nbVisitedNodes=625  nbRestartNogoods=15  mapSize=171
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.204  cpuTime=0.15  mem=15M27
1.21	   
1.21	   search
1.21	     run=6  nbConstraintChecks=700890  nbPropagations=35079  nbRevisions=425965  nbUselessRevisions=349543
1.21	     nbAssignments=587  nbFailedAssignments=215  nbBacktracks=324  nbVisitedNodes=985  nbRestartNogoods=18  mapSize=266
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.26  cpuTime=0.2  mem=15M27
1.29	   
1.29	   search
1.29	     run=7  nbConstraintChecks=1082749  nbPropagations=51588  nbRevisions=649895  nbUselessRevisions=532737
1.29	     nbAssignments=896  nbFailedAssignments=345  nbBacktracks=494  nbVisitedNodes=1524  nbRestartNogoods=23  mapSize=415
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.336  cpuTime=0.27  mem=15M27
1.40	   
1.40	   search
1.40	     run=8  nbConstraintChecks=1658742  nbPropagations=75826  nbRevisions=982919  nbUselessRevisions=804172
1.40	     nbAssignments=1333  nbFailedAssignments=518  nbBacktracks=750  nbVisitedNodes=2274  nbRestartNogoods=32
1.40	     mapSize=621  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.449  cpuTime=0.38  mem=15M27
1.58	   
1.58	   search
1.58	     run=9  nbConstraintChecks=2530511  nbPropagations=111961  nbRevisions=1492670  nbUselessRevisions=1219788
1.58	     nbAssignments=2020  nbFailedAssignments=813  nbBacktracks=1134  nbVisitedNodes=3479  nbRestartNogoods=40
1.58	     mapSize=939  nbInferences=0  nbTooLargeKeys=0
1.58	       =>  wckTime=0.626  cpuTime=0.54  mem=15M27
1.63	   
1.63	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=15M27)
1.78	   
1.78	   search
1.78	     run=10  nbConstraintChecks=3588460  nbPropagations=163740  nbRevisions=2219905  nbUselessRevisions=1813013
1.78	     nbAssignments=2943  nbFailedAssignments=1152  nbBacktracks=1711  nbVisitedNodes=5039  nbRestartNogoods=47
1.78	       =>  wckTime=0.829  cpuTime=0.74  mem=15M27
2.08	   
2.08	   search
2.08	     run=11  nbConstraintChecks=5395368  nbPropagations=240444  nbRevisions=3306167  nbUselessRevisions=2698046
2.08	     nbAssignments=4350  nbFailedAssignments=1690  nbBacktracks=2576  nbVisitedNodes=7460  nbRestartNogoods=52
2.08	       =>  wckTime=1.133  cpuTime=1.04  mem=15M27
2.57	   
2.57	   search
2.57	     run=12  nbConstraintChecks=8257864  nbPropagations=356982  nbRevisions=4965564  nbUselessRevisions=4048222
2.57	     nbAssignments=6575  nbFailedAssignments=2611  nbBacktracks=3873  nbVisitedNodes=11341  nbRestartNogoods=55
2.57	       =>  wckTime=1.62  cpuTime=1.52  mem=15M27
3.25	   
3.25	   search
3.25	     run=13  nbConstraintChecks=12399174  nbPropagations=530192  nbRevisions=7431850  nbUselessRevisions=6053934
3.25	     nbAssignments=9738  nbFailedAssignments=3805  nbBacktracks=5819  nbVisitedNodes=16720  nbRestartNogoods=64
3.25	       =>  wckTime=2.297  cpuTime=2.2  mem=15M27
4.27	   
4.27	   search
4.27	     run=14  nbConstraintChecks=18395154  nbPropagations=789815  nbRevisions=11142671  nbUselessRevisions=9077923
4.27	     nbAssignments=14605  nbFailedAssignments=5745  nbBacktracks=8740  nbVisitedNodes=25178  nbRestartNogoods=73
4.27	       =>  wckTime=3.323  cpuTime=3.21  mem=15M27
5.97	   
5.97	   search
5.97	     run=15  nbConstraintChecks=28741160  nbPropagations=1185959  nbRevisions=16869625  nbUselessRevisions=13743968
5.97	     nbAssignments=22191  nbFailedAssignments=8949  nbBacktracks=13118  nbVisitedNodes=38499  nbRestartNogoods=80
5.97	       =>  wckTime=5.014  cpuTime=4.88  mem=15M27
8.16	   
8.16	   search
8.16	     run=16  nbConstraintChecks=41450368  nbPropagations=1768852  nbRevisions=25232152  nbUselessRevisions=20559931
8.16	     nbAssignments=32784  nbFailedAssignments=12966  nbBacktracks=19686  nbVisitedNodes=56661  nbRestartNogoods=87
8.16	       =>  wckTime=7.206  cpuTime=7.05  mem=15M27
11.89	   
11.89	   search
11.89	     run=17  nbConstraintChecks=64365227  nbPropagations=2658335  nbRevisions=38089015  nbUselessRevisions=31036130
11.89	     nbAssignments=49556  nbFailedAssignments=19878  nbBacktracks=29539  nbVisitedNodes=86038  nbRestartNogoods=100
11.89	       =>  wckTime=10.942  cpuTime=10.75  mem=16M2
17.07	   
17.07	   search
17.07	     run=18  nbConstraintChecks=95350258  nbPropagations=3984936  nbRevisions=57251814  nbUselessRevisions=46660360
17.07	     nbAssignments=73861  nbFailedAssignments=29395  nbBacktracks=44320  nbVisitedNodes=128220  nbRestartNogoods=115
17.07	       =>  wckTime=16.121  cpuTime=15.88  mem=16M2
25.63	   
25.64	   search
25.64	     run=19  nbConstraintChecks=147317528  nbPropagations=6016848  nbRevisions=86837511  nbUselessRevisions=70795588
25.64	     nbAssignments=112343  nbFailedAssignments=45689  nbBacktracks=66489  nbVisitedNodes=196210  nbRestartNogoods=126
25.64	       =>  wckTime=24.684  cpuTime=24.37  mem=16M2
37.22	   
37.22	   search
37.22	     run=20  nbConstraintChecks=215533003  nbPropagations=9034207  nbRevisions=130643266  nbUselessRevisions=106572911
37.22	     nbAssignments=167395  nbFailedAssignments=67482  nbBacktracks=99741  nbVisitedNodes=291870  nbRestartNogoods=137
37.22	       =>  wckTime=36.27  cpuTime=35.85  mem=16M2
55.78	   
55.78	   search
55.78	     run=21  nbConstraintChecks=329323313  nbPropagations=13578995  nbRevisions=196716461  nbUselessRevisions=160487273
55.78	     nbAssignments=250566  nbFailedAssignments=100768  nbBacktracks=149619  nbVisitedNodes=436854  nbRestartNogoods=156
55.78	       =>  wckTime=54.826  cpuTime=54.23  mem=16M2
82.24	   
82.24	   search
82.24	     run=22  nbConstraintChecks=487961712  nbPropagations=20345078  nbRevisions=294948321  nbUselessRevisions=240676775
82.24	     nbAssignments=374389  nbFailedAssignments=149767  nbBacktracks=224437  nbVisitedNodes=652005  nbRestartNogoods=178
82.24	       =>  wckTime=81.287  cpuTime=80.45  mem=16M2
123.16	   
123.16	   search
123.16	     run=23  nbConstraintChecks=735357708  nbPropagations=30521960  nbRevisions=443046019  nbUselessRevisions=361643375
123.16	     nbAssignments=561773  nbFailedAssignments=224917  nbBacktracks=336664  nbVisitedNodes=978349  nbRestartNogoods=193
123.16	       =>  wckTime=122.211  cpuTime=121.01  mem=16M2
180.50	   
180.50	   search
180.50	     run=24  nbConstraintChecks=1111899347  nbPropagations=45845264  nbRevisions=666703661  nbUselessRevisions=544382737
180.50	     nbAssignments=841475  nbFailedAssignments=336272  nbBacktracks=505005  nbVisitedNodes=1465748  nbRestartNogoods=198
180.50	       =>  wckTime=179.545  cpuTime=178.22  mem=16M2
229.63	   
229.63	   search
229.63	     run=25  nbConstraintChecks=1434396261  nbPropagations=65658899  nbRevisions=955522769  nbUselessRevisions=780337712
229.63	     nbAssignments=1086944  nbFailedAssignments=432145  nbBacktracks=654561  nbVisitedNodes=1891177
229.63	     nbRestartNogoods=210
229.63	       =>  wckTime=228.681  cpuTime=227.3  mem=16M2
229.63	   
229.63	   global
229.63	     nbConstraintChecks=1434466780  nbPropagations=65659827  nbRevisions=955530021  nbUselessRevisions=780343736
229.63	     nbRestartNogoods=210  solvingWckTime=228.682  solvingCpuTime=227.3  expiredTime=no  totalExploration=no
229.63	     nbFoundSolutions=1  globalCpuTime=227.73
229.63	       =>  wckTime=229.237  cpuTime=227.68  mem=16M2
229.64	   
229.64	s SATISFIABLE
229.64	v 10 18 16 13 14 16 8 5 1 13 7 9 4 11 17 17 5 13 12 18 1 5 13 13 1 17 13 15 9 16 0 3 4 16 2 18 9 4 15 15 
229.64	d NODES 1086944
229.64	d CHECKS 1434466780
229.64	   
229.64	   totalWckTime=229.322  totalCpuTime=227.73

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/node6/watcher-202854-1168154601 -o ROOT/results/node6/solver-202854-1168154601 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202854-1168154601/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.93 2.00 1.99 4/95 3712
/proc/meminfo: memFree=1369056/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=18540 CPUtime=0
/proc/3711/stat : 3711 (runsolver) D 3709 3711 2983 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 163855557 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/3711/statm: 4635 279 244 17 0 2626 0

[startup+0.102743 s]
/proc/loadavg: 1.93 2.00 1.99 4/95 3712
/proc/meminfo: memFree=1369056/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=905992 CPUtime=0.01
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 1866 0 1 0 0 1 0 0 17 0 1 0 163855557 927735808 1615 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643171 0 4 0 7368 0 0 0 17 1 0 0
/proc/3711/statm: 226498 1615 949 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992

[startup+0.511783 s]
/proc/loadavg: 1.93 2.00 1.99 4/95 3712
/proc/meminfo: memFree=1369056/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915328 CPUtime=0.42
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 6127 0 1 0 37 5 0 0 18 0 8 0 163855557 937295872 5866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228832 5866 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33288 s]
/proc/loadavg: 1.93 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1345128/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=1.22
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8717 0 1 0 115 7 0 0 23 0 8 0 163855557 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8455 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.22
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 377 0 0 0 21 1 0 0 15 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915456

[startup+2.97007 s]
/proc/loadavg: 1.93 2.00 1.99 4/102 3719
/proc/meminfo: memFree=1344808/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=2.86
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8776 0 1 0 278 8 0 0 25 0 8 0 163855557 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8513 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 17 0 8 0 163855568 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915456

[startup+6.25845 s]
/proc/loadavg: 1.94 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344680/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=6.11
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8784 0 1 0 603 8 0 0 25 0 8 0 163855557 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8520 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915456

[startup+12.7382 s]
/proc/loadavg: 1.94 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344808/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=12.53
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8791 0 1 0 1245 8 0 0 25 0 8 0 163855557 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8526 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915456

[startup+25.6112 s]
/proc/loadavg: 1.95 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344808/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=25.29
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8793 0 1 0 2521 8 0 0 25 0 8 0 163855557 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8528 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915456

[startup+51.2472 s]
/proc/loadavg: 1.97 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344872/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=50.68
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8798 0 1 0 5060 8 0 0 25 0 8 0 163855557 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8533 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915456

[startup+102.515 s]
/proc/loadavg: 1.98 2.00 1.99 3/102 3719
/proc/meminfo: memFree=1344872/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=101.48
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8803 0 1 0 10140 8 0 0 25 0 8 0 163855557 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3711/statm: 228864 8538 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915456

[startup+162.517 s]
/proc/loadavg: 1.94 1.98 1.99 3/95 3784
/proc/meminfo: memFree=1446688/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=161.18
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8806 0 1 0 16109 9 0 0 25 0 8 0 163855557 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3711/statm: 228864 8541 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 915456

[startup+222.544 s]
/proc/loadavg: 1.98 1.98 1.99 3/95 3784
/proc/meminfo: memFree=1442912/2055924 swapFree=4165672/4192956
[pid=3711] ppid=3709 vsize=915456 CPUtime=221.16
/proc/3711/stat : 3711 (java) R 3709 3711 2983 0 -1 0 8808 0 1 0 22106 10 0 0 25 0 8 0 163855557 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3711/statm: 228864 8543 2524 14 0 215334 0
[pid=3711/tid=3713] ppid=3709 vsize=915456 CPUtime=0.03
/proc/3711/task/3713/stat : 3713 (java) S 3709 3711 2983 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 163855568 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3714] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3714/stat : 3714 (java) S 3709 3711 2983 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163855569 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3715] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3715/stat : 3715 (java) S 3709 3711 2983 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163855569 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3716] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3716/stat : 3716 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3717] ppid=3709 vsize=915456 CPUtime=0.25
/proc/3711/task/3717/stat : 3717 (java) S 3709 3711 2983 0 -1 64 394 0 0 0 24 1 0 0 15 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3718] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3718/stat : 3718 (java) S 3709 3711 2983 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3711/tid=3719] ppid=3709 vsize=915456 CPUtime=0
/proc/3711/task/3719/stat : 3719 (java) S 3709 3711 2983 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163855572 937426944 8543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 229.662
CPU time (s): 228.26
CPU user time (s): 228.15
CPU system time (s): 0.109983
CPU usage (%): 99.3898
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.15
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8901
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= 5771
involuntary context switches= 11271

runsolver used 0.300954 s user time and 0.729889 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sun Jan  7 07:23:21 UTC 2007


IDJOB= 202854
IDBENCH= 3889
FILE ID= node6/202854-1168154601

PBS_JOBID= 3478228

Free space on /tmp= 66548 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e1305f5623c59db0134743690ebda389

RANDOM SEED= 258573156

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.240
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.240
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:      2055924 kB
MemFree:       1369536 kB
Buffers:         60720 kB
Cached:         385316 kB
SwapCached:       2424 kB
Active:         209180 kB
Inactive:       392808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1369536 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            1964 kB
Writeback:           0 kB
Mapped:         174592 kB
Slab:            68636 kB
Committed_AS:  5336756 kB
PageTables:       2700 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= 66546 MiB



End job on node6 on Sun Jan  7 07:27:11 UTC 2007