Trace number 233956

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 667.229 673.045

DiagnosticValue
CHECKS3171099094
NODES173593

General information on the benchmark

Nametaillard/os-taillard-7/
os-taillard-7-100-7.xml
MD5SUM78713f18bd9336e8c0dd2cae855aee4a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.378942
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size424
Number of constraints which are defined in extension0
Number of constraints which are defined in intension294
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/233956-1168081417/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=49  nbDomainTypes=49  minDomainSize=327  maxDomainSize=424
0.42	       =>  wckTime=0.112  cpuTime=0.1  mem=7M878
0.42	   
0.42	   predicates being loaded...
0.42	   
0.42	   constraints being loaded...
4.39	   
4.39	   INFO : Stopping converting binary constraints (cpu=4.03, mem = 19M137)
4.45	     nbConstraints=294  nbConvertedConstraints=98  nbConvertConstraintsChecks=13935850  nbExtensionStructures=98
4.45	     nbSharedExtensionStructures=0  nbConflictsStructures=98  nbSharedConflictsStructures=0
4.45	     nbSharedBinaryRepresentations=15483  nbEvaluationManagers=196  nbSharedEvaluationManagers=0  maxDegree=12
4.45	     maxArity=2
4.45	       =>  wckTime=4.14  cpuTime=4.03  mem=21M88
4.51	   
4.51	   solver IterativeSystematicSolver being built... 
4.68	       =>  wckTime=4.369  cpuTime=4.17  mem=21M255
5.42	   
5.42	   preprocessing
5.42	     nbConstraintChecks=1881733  nbValidityChecks=13937  nbPropagations=49  nbRevisions=392  nbUselessRevisions=392
5.42	     nbRemovedValues=0  detectedInconsistency=no
5.42	       =>  wckTime=0.736  cpuTime=0.73  mem=21M255
8.69	   
8.69	   search
8.69	     run=0  nbConstraintChecks=11597549  nbValidityChecks=1639813  nbPropagations=2554  nbRevisions=24214
8.69	     nbUselessRevisions=15259  nbAssignments=300  nbFailedAssignments=277  nbBacktracks=10  nbVisitedNodes=585
8.69	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
8.69	       =>  wckTime=4.004  cpuTime=3.95  mem=21M255
10.03	   
10.03	   search
10.03	     run=1  nbConstraintChecks=17628545  nbValidityChecks=3855227  nbPropagations=7354  nbRevisions=67176
10.03	     nbUselessRevisions=43378  nbAssignments=590  nbFailedAssignments=540  nbBacktracks=25  nbVisitedNodes=1152
10.03	     nbRestartNogoods=2  mapSize=23  nbInferences=0  nbTooLargeKeys=0
10.03	       =>  wckTime=5.351  cpuTime=5.29  mem=21M255
19.79	   
19.79	   search
19.79	     run=2  nbConstraintChecks=62906736  nbValidityChecks=15152239  nbPropagations=20552  nbRevisions=174341
19.79	     nbUselessRevisions=111328  nbAssignments=1985  nbFailedAssignments=1907  nbBacktracks=47  nbVisitedNodes=3936
19.79	     nbRestartNogoods=32  mapSize=45  nbInferences=0  nbTooLargeKeys=0
19.79	       =>  wckTime=15.112  cpuTime=14.97  mem=21M255
21.48	   
21.48	   search
21.48	     run=3  nbConstraintChecks=79323573  nbValidityChecks=19659955  nbPropagations=37256  nbRevisions=308119
21.48	     nbUselessRevisions=196941  nbAssignments=2436  nbFailedAssignments=2317  nbBacktracks=80  nbVisitedNodes=4828
21.48	     nbRestartNogoods=54  mapSize=78  nbInferences=0  nbTooLargeKeys=0
21.48	       =>  wckTime=16.802  cpuTime=16.65  mem=22M230
33.70	   
33.70	   search
33.70	     run=4  nbConstraintChecks=115952051  nbValidityChecks=32979987  nbPropagations=69365  nbRevisions=552248
33.70	     nbUselessRevisions=356217  nbAssignments=4626  nbFailedAssignments=4443  nbBacktracks=130  nbVisitedNodes=9192
33.70	     nbRestartNogoods=72  mapSize=128  nbInferences=0  nbTooLargeKeys=0
33.70	       =>  wckTime=29.019  cpuTime=28.8  mem=22M230
37.91	   
37.91	   search
37.91	     run=5  nbConstraintChecks=134234948  nbValidityChecks=36854269  nbPropagations=107074  nbRevisions=845915
37.91	     nbUselessRevisions=546280  nbAssignments=5461  nbFailedAssignments=5192  nbBacktracks=205  nbVisitedNodes=10836
37.91	     nbRestartNogoods=118  mapSize=197  nbInferences=0  nbTooLargeKeys=0
37.91	       =>  wckTime=33.231  cpuTime=32.99  mem=22M230
48.78	   
48.78	   search
48.78	     run=6  nbConstraintChecks=198697135  nbValidityChecks=46682684  nbPropagations=159281  nbRevisions=1270995
48.78	     nbUselessRevisions=805384  nbAssignments=8304  nbFailedAssignments=7914  nbBacktracks=318  nbVisitedNodes=16513
48.78	     nbRestartNogoods=125  mapSize=310  nbInferences=0  nbTooLargeKeys=0
48.78	       =>  wckTime=44.103  cpuTime=43.78  mem=22M230
70.79	   
70.79	   search
70.79	     run=7  nbConstraintChecks=271303084  nbValidityChecks=94672995  nbPropagations=246628  nbRevisions=1956788
70.79	     nbUselessRevisions=1260116  nbAssignments=12607  nbFailedAssignments=12038  nbBacktracks=488  nbVisitedNodes=25072
70.79	     nbRestartNogoods=131  mapSize=450  nbInferences=0  nbTooLargeKeys=0
70.79	       =>  wckTime=66.11  cpuTime=65.6  mem=22M230
87.52	   
87.52	   search
87.52	     run=8  nbConstraintChecks=331507172  nbValidityChecks=121917953  nbPropagations=356831  nbRevisions=2822286
87.52	     nbUselessRevisions=1837267  nbAssignments=16038  nbFailedAssignments=15204  nbBacktracks=745  nbVisitedNodes=31869
87.52	     nbRestartNogoods=166  mapSize=688  nbInferences=0  nbTooLargeKeys=0
87.52	       =>  wckTime=82.839  cpuTime=82.18  mem=23M206
123.16	   
123.16	   INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=24M181)
124.49	   
124.49	   search
124.49	     run=9  nbConstraintChecks=481836360  nbValidityChecks=161495412  nbPropagations=512325  nbRevisions=4015773
124.49	     nbUselessRevisions=2631237  nbAssignments=22043  nbFailedAssignments=20809  nbBacktracks=1130  nbVisitedNodes=43787
124.49	     nbRestartNogoods=184
124.49	       =>  wckTime=119.808  cpuTime=118.83  mem=24M181
202.04	   
202.04	   search
202.04	     run=10  nbConstraintChecks=891072368  nbValidityChecks=248121236  nbPropagations=749919  nbRevisions=5860532
202.04	     nbUselessRevisions=3820787  nbAssignments=36249  nbFailedAssignments=34432  nbBacktracks=1706  nbVisitedNodes=72171
202.04	     nbRestartNogoods=377
202.04	       =>  wckTime=197.359  cpuTime=195.69  mem=24M181
242.97	   
242.97	   search
242.97	     run=11  nbConstraintChecks=1082855155  nbValidityChecks=312659617  nbPropagations=1089274  nbRevisions=8580570
242.97	     nbUselessRevisions=5582487  nbAssignments=50379  nbFailedAssignments=47686  nbBacktracks=2571
242.97	     nbVisitedNodes=100311  nbRestartNogoods=486
242.97	       =>  wckTime=238.291  cpuTime=236.25  mem=24M181
341.15	   
341.15	   search
341.15	     run=12  nbConstraintChecks=1541808097  nbValidityChecks=421498530  nbPropagations=1580169  nbRevisions=12636429
341.15	     nbUselessRevisions=8188983  nbAssignments=69839  nbFailedAssignments=65836  nbBacktracks=3869
341.15	     nbVisitedNodes=139073  nbRestartNogoods=597
341.15	       =>  wckTime=336.473  cpuTime=333.56  mem=24M181
434.35	   
434.35	   search
434.36	     run=13  nbConstraintChecks=2113425432  nbValidityChecks=522991365  nbPropagations=2270915  nbRevisions=18282365
434.36	     nbUselessRevisions=11755633  nbAssignments=103133  nbFailedAssignments=97173  nbBacktracks=5815
434.36	     nbVisitedNodes=205617  nbRestartNogoods=677
434.36	       =>  wckTime=429.675  cpuTime=425.91  mem=24M181
567.06	   
567.06	   search
567.06	     run=14  nbConstraintChecks=2714410398  nbValidityChecks=687892914  nbPropagations=3258466  nbRevisions=26200702
567.06	     nbUselessRevisions=16788715  nbAssignments=140278  nbFailedAssignments=131382  nbBacktracks=8734
567.06	     nbVisitedNodes=278984  nbRestartNogoods=737
567.06	       =>  wckTime=562.384  cpuTime=557.46  mem=24M181
672.98	   
672.98	   search
672.98	     run=15  nbConstraintChecks=3169217361  nbValidityChecks=776528547  nbPropagations=4450184  nbRevisions=35610231
672.98	     nbUselessRevisions=22745693  nbAssignments=173593  nbFailedAssignments=163152  nbBacktracks=10230
672.98	     nbVisitedNodes=345394  nbRestartNogoods=879
672.98	       =>  wckTime=668.298  cpuTime=662.47  mem=24M181
672.98	   
672.98	   global
672.98	     nbConstraintChecks=3171099094  nbValidityChecks=776542484  nbPropagations=4450233  nbRevisions=35610623
672.98	     nbUselessRevisions=22746085  nbRestartNogoods=879  solvingWckTime=668.299  solvingCpuTime=662.47  expiredTime=no
672.98	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=666.68
672.98	       =>  wckTime=672.672  cpuTime=666.64  mem=24M181
672.98	   
672.98	s SATISFIABLE
672.98	v 343 404 120 368 239 23 140 186 272 223 0 132 331 60 164 57 217 284 0 327 307 27 307 239 60 345 156 0 218 156 0 372 351 72 287 284 0 387 27 142 186 418 304 218 138 23 57 0 362 
672.98	d NODES 173593
672.98	d CHECKS 3171099094
672.98	   
672.98	   totalWckTime=672.752  totalCpuTime=666.68

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/node62/watcher-233956-1168081417 -o ROOT/results/node62/solver-233956-1168081417 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233956-1168081417/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.10 0.61 0.80 4/80 5778
/proc/meminfo: memFree=956176/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=906644 CPUtime=0.02
/proc/5777/stat : 5777 (java) S 5775 5777 5654 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 156539464 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 226661 1817 1036 14 0 214244 0
[pid=5777/tid=5779] ppid=5775 vsize=906644 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) R 5775 5777 5654 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 156539468 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104811 s]
/proc/loadavg: 1.10 0.61 0.80 4/80 5778
/proc/meminfo: memFree=956176/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=914988 CPUtime=0.08
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 3018 0 1 0 7 1 0 0 17 0 8 0 156539464 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072945800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228747 2764 1435 14 0 215242 0
[pid=5777/tid=5779] ppid=5775 vsize=914988 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 156539468 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512898 s]
/proc/loadavg: 1.10 0.61 0.80 4/80 5778
/proc/meminfo: memFree=956176/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915328 CPUtime=0.5
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 6757 0 1 0 46 4 0 0 19 0 8 0 156539464 937295872 6496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228832 6496 2145 14 0 215302 0
[pid=5777/tid=5779] ppid=5775 vsize=915328 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 156539468 937295872 6496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33405 s]
/proc/loadavg: 1.17 0.63 0.81 3/87 5785
/proc/meminfo: memFree=936664/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=1.31
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 7370 0 1 0 127 4 0 0 25 0 8 0 156539464 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 7108 2167 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156539468 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 9 0 0 0 0 0 0 0 18 0 8 0 156539469 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 156539469 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.11
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 323 0 0 0 10 1 0 0 16 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 7108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.97637 s]
/proc/loadavg: 1.17 0.63 0.81 3/87 5785
/proc/meminfo: memFree=933720/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=2.95
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 8364 0 1 0 290 5 0 0 25 0 8 0 156539464 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 8102 2167 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156539468 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 9 0 0 0 0 0 0 0 18 0 8 0 156539469 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 156539469 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.11
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 325 0 0 0 10 1 0 0 16 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 8102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460

[startup+6.27102 s]
/proc/loadavg: 1.17 0.63 0.81 3/87 5785
/proc/meminfo: memFree=920344/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=6.23
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11650 0 1 0 616 7 0 0 25 0 8 0 156539464 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11386 2530 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1530 0 0 0 4 0 0 0 17 0 8 0 156539468 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.19
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460

[startup+12.7483 s]
/proc/loadavg: 1.30 0.68 0.82 3/87 5785
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=12.67
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11671 0 1 0 1260 7 0 0 25 0 8 0 156539464 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816563 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11402 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 17 0 8 0 156539468 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.22
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 389 0 0 0 21 1 0 0 15 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915460

[startup+25.6098 s]
/proc/loadavg: 1.41 0.72 0.83 3/87 5785
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=25.47
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11687 0 1 0 2539 8 0 0 25 0 8 0 156539464 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640758 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11415 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.25
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460

[startup+51.2179 s]
/proc/loadavg: 1.70 0.86 0.88 3/87 5841
/proc/meminfo: memFree=1014040/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=50.92
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11688 0 1 0 5083 9 0 0 25 0 8 0 156539464 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862895 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11416 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.25
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915460

[startup+102.418 s]
/proc/loadavg: 1.87 1.03 0.93 3/87 5841
/proc/meminfo: memFree=1014104/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=101.66
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11689 0 1 0 10157 9 0 0 25 0 8 0 156539464 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11417 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.25
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11417 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 915460

################
# More data... #
################

/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 408 0 0 0 25 1 0 0 17 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.71
Current children cumulated vsize (KiB) 915460

[startup+282.55 s]
/proc/loadavg: 2.01 1.48 1.12 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=280.21
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11693 0 1 0 28011 10 0 0 25 0 8 0 156539464 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11421 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 915460

[startup+342.593 s]
/proc/loadavg: 2.00 1.57 1.17 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=339.72
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11693 0 1 0 33962 10 0 0 25 0 8 0 156539464 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11421 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 409 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.72
Current children cumulated vsize (KiB) 915460

[startup+402.645 s]
/proc/loadavg: 2.00 1.64 1.22 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=399.22
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 39912 10 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 915460

[startup+462.704 s]
/proc/loadavg: 2.07 1.72 1.27 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=458.74
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 45863 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 458.74
Current children cumulated vsize (KiB) 915460

[startup+522.753 s]
/proc/loadavg: 2.02 1.77 1.31 3/87 5841
/proc/meminfo: memFree=983128/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=518.26
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 51815 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 518.26
Current children cumulated vsize (KiB) 915460

[startup+582.793 s]
/proc/loadavg: 2.01 1.81 1.35 3/87 5841
/proc/meminfo: memFree=983064/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=577.78
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 57767 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 577.78
Current children cumulated vsize (KiB) 915460

[startup+642.829 s]
/proc/loadavg: 2.00 1.84 1.39 3/87 5841
/proc/meminfo: memFree=983064/2055920 swapFree=4192812/4192956
[pid=5777] ppid=5775 vsize=915460 CPUtime=637.3
/proc/5777/stat : 5777 (java) R 5775 5777 5654 0 -1 0 11696 0 1 0 63719 11 0 0 25 0 8 0 156539464 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5777/statm: 228865 11422 2534 14 0 215335 0
[pid=5777/tid=5779] ppid=5775 vsize=915460 CPUtime=0.04
/proc/5777/task/5779/stat : 5779 (java) S 5775 5777 5654 0 -1 64 1531 0 0 0 4 0 0 0 16 0 8 0 156539468 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5780] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5780/stat : 5780 (java) S 5775 5777 5654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5781] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5781/stat : 5781 (java) S 5775 5777 5654 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539469 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5782] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5782/stat : 5782 (java) S 5775 5777 5654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5783] ppid=5775 vsize=915460 CPUtime=0.26
/proc/5777/task/5783/stat : 5783 (java) S 5775 5777 5654 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5784] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5784/stat : 5784 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5777/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5777/task/5785/stat : 5785 (java) S 5775 5777 5654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539472 937431040 11422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.3
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 673.045
CPU time (s): 667.229
CPU user time (s): 667.099
CPU system time (s): 0.12998
CPU usage (%): 99.1359
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 667.099
system time used= 0.12998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11704
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= 14880
involuntary context switches= 15378

runsolver used 0.831873 s user time and 2.15367 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Jan  6 11:03:37 UTC 2007


IDJOB= 233956
IDBENCH= 6649
FILE ID= node62/233956-1168081417

PBS_JOBID= 3476232

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-100-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233956-1168081417/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-233956-1168081417 -o ROOT/results/node62/solver-233956-1168081417 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233956-1168081417/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  78713f18bd9336e8c0dd2cae855aee4a

RANDOM SEED= 635968207

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.259
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.259
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:        956656 kB
Buffers:         60140 kB
Cached:         780884 kB
SwapCached:          0 kB
Active:         293404 kB
Inactive:       727020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        956656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2052 kB
Writeback:           0 kB
Mapped:         199656 kB
Slab:            63920 kB
Committed_AS:  3753540 kB
PageTables:       2212 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= 66549 MiB



End job on node62 on Sat Jan  6 11:14:50 UTC 2007