Trace number 235159

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 ESAC? (TO) 1800.11 1813.57

General information on the benchmark

Nametaillard/
js-taillard-20-15/js-taillard-20-15-95-9.xml
MD5SUMf84ddcc2436a1e9b1b4e619f06039c69
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1314
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/235159-1168335906/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.53	     nbVariables=300  nbDomainTypes=300  minDomainSize=1216  maxDomainSize=1314
0.53	       =>  wckTime=0.205  cpuTime=0.16  mem=16M689
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
204.02	   
204.02	   INFO : Stopping converting binary constraints (cpu=200.17, mem = 230M997)
204.72	     nbConstraints=3130  nbConvertedConstraints=499  nbConvertConstraintsChecks=792715280  nbExtensionStructures=499
204.72	     nbSharedExtensionStructures=0  nbConflictsStructures=499  nbSharedConflictsStructures=0
204.72	     nbSharedBinaryRepresentations=377947  nbEvaluationManagers=2631  nbSharedEvaluationManagers=0  maxDegree=21
204.72	     maxArity=2
204.72	       =>  wckTime=204.399  cpuTime=200.43  mem=232M885
205.24	   
205.24	   solver IterativeSystematicSolver being built... 
205.55	       =>  wckTime=205.233  cpuTime=200.65  mem=265M98
330.97	   
330.97	   INFO : Stopping ESAC
330.98	   
330.98	   preprocessing
330.98	     nbConstraintChecks=454510715  nbValidityChecks=39457516  nbPropagations=5577  nbRevisions=95242
330.98	     nbUselessRevisions=88847  nbSingletonTests=113  nbEffectiveSingletonTests=0  nbESACBranches=4
330.98	     nbRemovedValues=211862  detectedInconsistency=no
330.98	       =>  wckTime=125.403  cpuTime=124.21  mem=265M98
352.27	   
352.27	   search
352.27	     run=0  nbConstraintChecks=65928972  nbValidityChecks=28703330  nbPropagations=11614  nbRevisions=200667
352.27	     nbUselessRevisions=181581  nbAssignments=151  nbFailedAssignments=110  nbBacktracks=10  nbVisitedNodes=272
352.27	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
352.27	       =>  wckTime=146.698  cpuTime=145.3  mem=268M335
544.26	   
544.26	   search
544.26	     run=1  nbConstraintChecks=739824986  nbValidityChecks=312770083  nbPropagations=65233  nbRevisions=1183857
544.26	     nbUselessRevisions=1054615  nbAssignments=1156  nbFailedAssignments=313  nbBacktracks=25  nbVisitedNodes=731
544.26	     nbRestartNogoods=22  mapSize=25  nbInferences=0  nbTooLargeKeys=0
544.26	       =>  wckTime=338.685  cpuTime=335.53  mem=269M543
1155.48	   
1155.48	   search
1155.48	     run=2  nbConstraintChecks=3015344260  nbValidityChecks=1178669127  nbPropagations=232412  nbRevisions=4116057
1155.48	     nbUselessRevisions=3737778  nbAssignments=5369  nbFailedAssignments=328  nbBacktracks=47  nbVisitedNodes=1522
1155.48	     nbRestartNogoods=120  mapSize=46  nbInferences=342  nbTooLargeKeys=0
1155.48	       =>  wckTime=949.912  cpuTime=940.92  mem=286M471
1199.95	   
1199.95	   search
1199.95	     run=3  nbConstraintChecks=3178020103  nbValidityChecks=1245898914  nbPropagations=410796  nbRevisions=7241865
1199.95	     nbUselessRevisions=6598793  nbAssignments=6175  nbFailedAssignments=343  nbBacktracks=80  nbVisitedNodes=2785
1199.95	     nbRestartNogoods=132  mapSize=78  nbInferences=912  nbTooLargeKeys=0
1199.95	       =>  wckTime=994.38  cpuTime=984.98  mem=277M658
1212.52	   
1212.52	   search
1212.52	     run=4  nbConstraintChecks=3220184100  nbValidityChecks=1274335496  nbPropagations=597062  nbRevisions=10506271
1212.52	     nbUselessRevisions=9580720  nbAssignments=6836  nbFailedAssignments=578  nbBacktracks=130  nbVisitedNodes=4052
1212.52	     nbRestartNogoods=139  mapSize=122  nbInferences=1254  nbTooLargeKeys=0
1212.52	       =>  wckTime=1006.947  cpuTime=997.42  mem=295M933
1265.41	   
1265.41	   search
1265.41	     run=5  nbConstraintChecks=3387989535  nbValidityChecks=1404946910  nbPropagations=821302  nbRevisions=14517480
1265.41	     nbUselessRevisions=13209030  nbAssignments=8140  nbFailedAssignments=1775  nbBacktracks=205  nbVisitedNodes=6612
1265.41	     nbRestartNogoods=143  mapSize=193  nbInferences=1254  nbTooLargeKeys=0
1265.41	       =>  wckTime=1059.834  cpuTime=1050.01  mem=299M956
1680.13	   
1680.13	   search
1680.13	     run=6  nbConstraintChecks=4929093961  nbValidityChecks=2158449953  nbPropagations=1182511  nbRevisions=21028153
1680.13	     nbUselessRevisions=19042261  nbAssignments=11472  nbFailedAssignments=3203  nbBacktracks=318  nbVisitedNodes=9684
1680.13	     nbRestartNogoods=189  mapSize=284  nbInferences=1254  nbTooLargeKeys=0
1680.13	       =>  wckTime=1474.555  cpuTime=1462.89  mem=306M120

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-235159-1168335906 -o ROOT/results/node5/solver-235159-1168335906 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235159-1168335906/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.92 1.98 1.99 4/87 17208
/proc/meminfo: memFree=1169320/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=47892 CPUtime=0
/proc/17207/stat : 17207 (java) D 17205 17207 15976 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 162205103 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17207/statm: 11973 968 766 14 0 1707 0

[startup+0.10378 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 17208
/proc/meminfo: memFree=1169320/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=914988 CPUtime=0.08
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 2989 0 1 0 7 1 0 0 18 0 8 0 162205103 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511824 s]
/proc/loadavg: 1.92 1.98 1.99 4/87 17208
/proc/meminfo: memFree=1169320/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915328 CPUtime=0.48
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 7820 0 1 0 44 4 0 0 18 0 8 0 162205103 937295872 7559 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228832 7559 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33591 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1124976/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1.3
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 13566 0 1 0 122 8 0 0 24 0 8 0 162205103 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 13304 2167 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 162205106 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 162205107 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 162205107 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.15
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 162205110 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 13304 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.9811 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1123120/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=2.93
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 14142 0 1 0 285 8 0 0 25 0 8 0 162205103 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 13879 2167 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 162205106 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 162205107 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 162205107 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.15
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 162205110 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 13879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.26047 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1118256/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=6.18
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 15352 0 1 0 610 8 0 0 25 0 8 0 162205103 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 15088 2167 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 162205106 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 162205107 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 162205107 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.15
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 412 0 0 0 15 0 0 0 16 0 8 0 162205110 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 15088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632

[startup+12.7492 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1091120/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=12.61
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 21854 0 1 0 1251 10 0 0 25 0 8 0 162205103 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788710 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 21589 2178 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0.1
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 5255 0 0 0 9 1 0 0 16 0 8 0 162205106 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.15
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 412 0 0 0 15 0 0 0 17 0 8 0 162205110 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 21589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915632

[startup+25.5997 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1091184/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=25.35
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 21857 0 1 0 2525 10 0 0 25 0 8 0 162205103 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 21592 2178 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0.1
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 5255 0 0 0 9 1 0 0 16 0 8 0 162205106 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.16
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 413 0 0 0 16 0 0 0 16 0 8 0 162205110 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 21592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915632

[startup+51.2156 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1050736/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=50.74
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 31941 0 1 0 5059 15 0 0 25 0 8 0 162205103 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 31675 2178 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0.38
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 15328 0 0 0 34 4 0 0 16 0 8 0 162205106 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.17
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 423 0 0 0 17 0 0 0 16 0 8 0 162205110 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 31675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915632

[startup+102.435 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 17215
/proc/meminfo: memFree=1023920/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=101.52
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 38649 0 1 0 10133 19 0 0 25 0 8 0 162205103 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 38381 2179 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=0.64
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 22027 0 0 0 57 7 0 0 16 0 8 0 162205106 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.18
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 429 0 0 0 18 0 0 0 16 0 8 0 162205110 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 38381 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915632

[startup+162.512 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 17215
/proc/meminfo: memFree=950960/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=161.07
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 56851 0 1 0 16079 28 0 0 25 0 8 0 162205103 937607168 56581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1411.66
Current children cumulated vsize (KiB) 915632

[startup+1484.1 s]
/proc/loadavg: 2.15 2.06 2.01 3/104 17499
/proc/meminfo: memFree=188768/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1471.37
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 147083 54 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074030701 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 17 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.37
Current children cumulated vsize (KiB) 915632

[startup+1544.12 s]
/proc/loadavg: 2.56 2.19 2.06 4/104 17499
/proc/meminfo: memFree=188768/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1531.12
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 153057 55 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074034739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 17 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.12
Current children cumulated vsize (KiB) 915632

[startup+1604.13 s]
/proc/loadavg: 2.16 2.15 2.05 3/93 17726
/proc/meminfo: memFree=912696/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1590.86
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 159030 56 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801221 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 17 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.86
Current children cumulated vsize (KiB) 915632

[startup+1664.18 s]
/proc/loadavg: 2.06 2.12 2.04 3/93 17726
/proc/meminfo: memFree=912832/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1650.85
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 165029 56 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 17 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.85
Current children cumulated vsize (KiB) 915632

[startup+1724.23 s]
/proc/loadavg: 2.02 2.09 2.04 3/93 17726
/proc/meminfo: memFree=912768/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1710.85
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 171028 57 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074047820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 16 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.85
Current children cumulated vsize (KiB) 915632

[startup+1784.28 s]
/proc/loadavg: 2.00 2.07 2.03 3/93 17726
/proc/meminfo: memFree=912832/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1770.83
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 177026 57 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074038050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 16 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770.83
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.47 s]
/proc/loadavg: 2.00 2.07 2.03 3/93 17726
/proc/meminfo: memFree=912832/2055920 swapFree=4192812/4192956
[pid=17207] ppid=17205 vsize=915632 CPUtime=1800
/proc/17207/stat : 17207 (java) R 17205 17207 15976 0 -1 0 83793 0 1 0 179943 57 0 0 25 0 8 0 162205103 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074031595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17207/statm: 228908 83472 2548 14 0 215378 0
[pid=17207/tid=17209] ppid=17205 vsize=915632 CPUtime=2.55
/proc/17207/task/17209/stat : 17209 (java) S 17205 17207 15976 0 -1 64 66587 0 0 0 230 25 0 0 16 0 8 0 162205106 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17210] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17210/stat : 17210 (java) S 17205 17207 15976 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17211] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17211/stat : 17211 (java) S 17205 17207 15976 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162205107 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17212] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17212/stat : 17212 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17213] ppid=17205 vsize=915632 CPUtime=0.4
/proc/17207/task/17213/stat : 17213 (java) S 17205 17207 15976 0 -1 64 536 0 0 0 38 2 0 0 16 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17207/tid=17214] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17214/stat : 17214 (java) S 17205 17207 15976 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17207/tid=17215] ppid=17205 vsize=915632 CPUtime=0
/proc/17207/task/17215/stat : 17215 (java) S 17205 17207 15976 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162205110 937607168 83472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 915632

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1813.57
CPU time (s): 1800.11
CPU user time (s): 1799.48
CPU system time (s): 0.625904
CPU usage (%): 99.2576
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.625904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83810
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= 38385
involuntary context switches= 86405

runsolver used 2.17167 s user time and 5.87811 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Jan  9 09:45:07 UTC 2007


IDJOB= 235159
IDBENCH= 6743
FILE ID= node5/235159-1168335906

PBS_JOBID= 3503104

Free space on /tmp= 66536 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20-15/js-taillard-20-15-95-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235159-1168335906/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-235159-1168335906 -o ROOT/results/node5/solver-235159-1168335906 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235159-1168335906/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f84ddcc2436a1e9b1b4e619f06039c69

RANDOM SEED= 306380419

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:      2055920 kB
MemFree:       1169736 kB
Buffers:         76692 kB
Cached:         642748 kB
SwapCached:          0 kB
Active:         345656 kB
Inactive:       477908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1169736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2180 kB
Writeback:           0 kB
Mapped:         124208 kB
Slab:            47460 kB
Committed_AS:  4609320 kB
PageTables:       2268 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= 66554 MiB



End job on node5 on Tue Jan  9 10:15:20 UTC 2007