Trace number 232396

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 AC? (TO) 1800.11 1811.63

General information on the benchmark

Nametaillard/js-taillard-20/
js-taillard-20-105-7.xml
MD5SUM76fa18cc1e61a13260a2f33b475174f1
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 benchmark39.744
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1715
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
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=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/232396-1168081262/unknown.xml
0.39	   
0.39	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1617  maxDomainSize=1715
0.57	       =>  wckTime=0.248  cpuTime=0.19  mem=24M612
0.57	   
0.57	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
5.13	   
5.13	   INFO : Stopping converting binary constraints (cpu=4.61, mem = 24M194)
5.74	     nbConstraints=4180  nbConvertedConstraints=6  nbConvertConstraintsChecks=16247655  nbExtensionStructures=6
5.75	     nbSharedExtensionStructures=0  nbConflictsStructures=6  nbSharedConflictsStructures=0
5.75	     nbSharedBinaryRepresentations=905  nbEvaluationManagers=4174  nbSharedEvaluationManagers=0  maxDegree=21
5.75	     maxArity=2
5.75	       =>  wckTime=5.414  cpuTime=5.13  mem=53M743
5.87	   
5.87	   solver IterativeSystematicSolver being built... 
6.27	       =>  wckTime=5.948  cpuTime=5.38  mem=97M987
178.68	   
178.68	   preprocessing
178.68	     nbConstraintChecks=699500179  nbValidityChecks=14719070  nbPropagations=910  nbRevisions=22284
178.68	     nbUselessRevisions=20872  nbRemovedValues=383838  detectedInconsistency=no
178.68	       =>  wckTime=172.369  cpuTime=170.65  mem=97M987
222.54	   
222.54	   search
222.54	     run=0  nbConstraintChecks=128272440  nbValidityChecks=32214411  nbPropagations=5806  nbRevisions=105464
222.54	     nbUselessRevisions=96236  nbAssignments=274  nbFailedAssignments=153  nbBacktracks=10  nbVisitedNodes=436
222.54	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=121
222.54	       =>  wckTime=216.236  cpuTime=214.08  mem=99M905
303.21	   
303.21	   search
303.21	     run=1  nbConstraintChecks=361561725  nbValidityChecks=165064256  nbPropagations=34335  nbRevisions=661101
303.21	     nbUselessRevisions=559356  nbAssignments=752  nbFailedAssignments=549  nbBacktracks=25  nbVisitedNodes=1322
303.21	     nbRestartNogoods=68  mapSize=0  nbInferences=0  nbTooLargeKeys=203
303.21	       =>  wckTime=296.903  cpuTime=294.01  mem=99M905
322.97	   
322.97	   search
322.97	     run=2  nbConstraintChecks=424766628  nbValidityChecks=214585086  nbPropagations=70703  nbRevisions=1349978
322.97	     nbUselessRevisions=1144254  nbAssignments=1101  nbFailedAssignments=827  nbBacktracks=49  nbVisitedNodes=1967
322.97	     nbRestartNogoods=131  mapSize=0  nbInferences=0  nbTooLargeKeys=274
322.97	       =>  wckTime=316.669  cpuTime=313.58  mem=99M905
410.23	   
410.23	   search
410.23	     run=3  nbConstraintChecks=656475703  nbValidityChecks=419971608  nbPropagations=134558  nbRevisions=2583368
410.23	     nbUselessRevisions=2161496  nbAssignments=1992  nbFailedAssignments=1640  nbBacktracks=82  nbVisitedNodes=3695
410.23	     nbRestartNogoods=132  mapSize=0  nbInferences=0  nbTooLargeKeys=352
410.23	       =>  wckTime=403.93  cpuTime=400.01  mem=99M905
471.02	   
471.07	   search
471.07	     run=4  nbConstraintChecks=826920318  nbValidityChecks=529620869  nbPropagations=216556  nbRevisions=4197945
471.07	     nbUselessRevisions=3501518  nbAssignments=2321  nbFailedAssignments=1854  nbBacktracks=132  nbVisitedNodes=4285
471.07	     nbRestartNogoods=206  mapSize=0  nbInferences=0  nbTooLargeKeys=467
471.07	       =>  wckTime=464.71  cpuTime=460.23  mem=99M905
531.86	   
531.86	   search
531.86	     run=5  nbConstraintChecks=991031065  nbValidityChecks=668372403  nbPropagations=322313  nbRevisions=6301371
531.86	     nbUselessRevisions=5254473  nbAssignments=3021  nbFailedAssignments=2418  nbBacktracks=207  nbVisitedNodes=5604
531.86	     nbRestartNogoods=214  mapSize=0  nbInferences=0  nbTooLargeKeys=603
531.86	       =>  wckTime=525.554  cpuTime=520.52  mem=99M905
573.83	   
573.83	   search
573.83	     run=6  nbConstraintChecks=1119719822  nbValidityChecks=750083648  nbPropagations=441776  nbRevisions=8704721
573.83	     nbUselessRevisions=7259351  nbAssignments=3488  nbFailedAssignments=2730  nbBacktracks=320  nbVisitedNodes=6432
573.83	     nbRestartNogoods=216  mapSize=0  nbInferences=0  nbTooLargeKeys=758
573.83	       =>  wckTime=567.525  cpuTime=562.13  mem=99M905
651.02	   
651.02	   search
651.02	     run=7  nbConstraintChecks=1315526064  nbValidityChecks=978284789  nbPropagations=637712  nbRevisions=12497848
651.02	     nbUselessRevisions=10458061  nbAssignments=6158  nbFailedAssignments=5158  nbBacktracks=491  nbVisitedNodes=11599
651.02	     nbRestartNogoods=238  mapSize=0  nbInferences=0  nbTooLargeKeys=1000
651.02	       =>  wckTime=644.712  cpuTime=638.73  mem=99M905
670.00	   
670.00	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1046, mem=99M905)
1157.06	   
1157.06	   search
1157.06	     run=8  nbConstraintChecks=2845307328  nbValidityChecks=1947067432  nbPropagations=957767  nbRevisions=18861564
1157.06	     nbUselessRevisions=15858269  nbAssignments=10547  nbFailedAssignments=9262  nbBacktracks=747  nbVisitedNodes=20218
1157.06	     nbRestartNogoods=289
1157.06	       =>  wckTime=1150.756  cpuTime=1142.36  mem=99M905

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/node12/watcher-232396-1168081262 -o ROOT/results/node12/solver-232396-1168081262 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232396-1168081262/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.29 1.77 1.85 4/99 22454
/proc/meminfo: memFree=1610872/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=1784 CPUtime=0
/proc/22453/stat : 22453 (java) D 22451 22453 21200 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156522111 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/22453/statm: 446 158 123 14 0 91 0

[startup+0.10339 s]
/proc/loadavg: 1.29 1.77 1.85 4/99 22454
/proc/meminfo: memFree=1610872/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=912908 CPUtime=0.08
/proc/22453/stat : 22453 (java) S 22451 22453 21200 0 -1 0 2821 0 1 0 7 1 0 0 18 0 8 0 156522111 934817792 2567 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228227 2567 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912908

[startup+0.511466 s]
/proc/loadavg: 1.29 1.77 1.85 4/99 22454
/proc/meminfo: memFree=1610872/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915328 CPUtime=0.49
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 7546 0 1 0 44 5 0 0 18 0 8 0 156522111 937295872 7285 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228832 7285 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33361 s]
/proc/loadavg: 1.29 1.77 1.85 3/106 22461
/proc/meminfo: memFree=1535936/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1.3
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 21074 0 1 0 118 12 0 0 25 0 8 0 156522111 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 20812 2178 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.04
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 4486 0 0 0 2 2 0 0 16 0 8 0 156522116 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.16
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 401 0 0 0 16 0 0 0 15 0 8 0 156522119 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 20812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 20812 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.9839 s]
/proc/loadavg: 1.34 1.78 1.85 3/106 22463
/proc/meminfo: memFree=1535808/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=2.94
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 21079 0 1 0 282 12 0 0 25 0 8 0 156522111 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 20816 2178 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.04
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 4486 0 0 0 2 2 0 0 16 0 8 0 156522116 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.17
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 404 0 0 0 17 0 0 0 15 0 8 0 156522119 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 20816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632

[startup+6.2725 s]
/proc/loadavg: 1.34 1.78 1.85 3/106 22471
/proc/meminfo: memFree=1535728/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=6.19
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40741 0 1 0 599 20 0 0 25 0 8 0 156522111 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40475 2533 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23665 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.26
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 462 0 0 0 26 0 0 0 15 0 8 0 156522119 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915632

[startup+12.7597 s]
/proc/loadavg: 1.44 1.79 1.85 3/106 22491
/proc/meminfo: memFree=1458480/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=12.59
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40754 0 1 0 1239 20 0 0 25 0 8 0 156522111 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40485 2533 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23665 0 0 0 18 9 0 0 17 0 8 0 156522116 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.28
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 472 0 0 0 28 0 0 0 16 0 8 0 156522119 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40485 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915632

[startup+25.616 s]
/proc/loadavg: 1.53 1.79 1.85 3/106 22513
/proc/meminfo: memFree=1458544/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=25.31
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40763 0 1 0 2511 20 0 0 25 0 8 0 156522111 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40490 2533 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23665 0 0 0 18 9 0 0 17 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.29
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 480 0 0 0 29 0 0 0 15 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915632

[startup+51.2336 s]
/proc/loadavg: 1.69 1.81 1.85 3/106 22541
/proc/meminfo: memFree=1458480/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=50.66
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40764 0 1 0 5046 20 0 0 25 0 8 0 156522111 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791824 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40490 2533 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23665 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.29
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 480 0 0 0 29 0 0 0 15 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915632

[startup+102.455 s]
/proc/loadavg: 1.86 1.83 1.85 3/100 22587
/proc/meminfo: memFree=1459432/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=101.37
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40764 0 1 0 10117 20 0 0 25 0 8 0 156522111 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40490 2533 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23665 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.29
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 480 0 0 0 29 0 0 0 15 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915632

[startup+162.515 s]
/proc/loadavg: 1.95 1.86 1.86 4/100 22587
/proc/meminfo: memFree=1459432/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=160.88
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40764 0 1 0 16067 21 0 0 25 0 8 0 156522111 937607168 40490 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1483.84 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 22681
/proc/meminfo: memFree=1373048/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1473.89
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 147356 33 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789916 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.89
Current children cumulated vsize (KiB) 915632

[startup+1543.94 s]
/proc/loadavg: 2.15 2.03 1.95 3/100 22681
/proc/meminfo: memFree=1372984/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1533.7
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 153337 33 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) R 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.7
Current children cumulated vsize (KiB) 915632

[startup+1603.94 s]
/proc/loadavg: 2.05 2.02 1.95 4/100 22681
/proc/meminfo: memFree=1372984/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1593.42
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 159308 34 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074034111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) R 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.42
Current children cumulated vsize (KiB) 915632

[startup+1664.05 s]
/proc/loadavg: 2.06 2.03 1.96 3/100 22681
/proc/meminfo: memFree=1372984/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1653.23
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 165289 34 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.23
Current children cumulated vsize (KiB) 915632

[startup+1724.15 s]
/proc/loadavg: 2.02 2.02 1.96 3/100 22681
/proc/meminfo: memFree=1372856/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1713.05
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 171270 35 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074037874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.05
Current children cumulated vsize (KiB) 915632

[startup+1784.15 s]
/proc/loadavg: 2.01 2.02 1.96 3/100 22681
/proc/meminfo: memFree=1372856/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1772.76
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 177241 35 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.76
Current children cumulated vsize (KiB) 915632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.53 s]
/proc/loadavg: 2.07 2.03 1.96 3/100 22681
/proc/meminfo: memFree=1347064/2055920 swapFree=4160348/4192956
[pid=22453] ppid=22451 vsize=915632 CPUtime=1800.01
/proc/22453/stat : 22453 (java) R 22451 22453 21200 0 -1 0 40827 0 1 0 179966 35 0 0 25 0 8 0 156522111 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22453/statm: 228908 40526 2537 14 0 215378 0
[pid=22453/tid=22455] ppid=22451 vsize=915632 CPUtime=0.27
/proc/22453/task/22455/stat : 22455 (java) S 22451 22453 21200 0 -1 64 23666 0 0 0 18 9 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22456] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22456/stat : 22456 (java) S 22451 22453 21200 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22457] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22457/stat : 22457 (java) S 22451 22453 21200 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156522116 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22458] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22458/stat : 22458 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22459] ppid=22451 vsize=915632 CPUtime=0.36
/proc/22453/task/22459/stat : 22459 (java) S 22451 22453 21200 0 -1 64 522 0 0 0 35 1 0 0 16 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22460] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22460/stat : 22460 (java) S 22451 22453 21200 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22453/tid=22461] ppid=22451 vsize=915632 CPUtime=0
/proc/22453/task/22461/stat : 22461 (java) S 22451 22453 21200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156522119 937607168 40526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915632

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

Child status: 143
Real time (s): 1811.63
CPU time (s): 1800.11
CPU user time (s): 1799.72
CPU system time (s): 0.386941
CPU usage (%): 99.3643
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.386941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40844
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= 38288
involuntary context switches= 72409

runsolver used 2.30565 s user time and 5.71713 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 11:01:07 UTC 2007


IDJOB= 232396
IDBENCH= 6516
FILE ID= node12/232396-1168081262

PBS_JOBID= 3475821

Free space on /tmp= 66315 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  76fa18cc1e61a13260a2f33b475174f1

RANDOM SEED= 804448311

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.265
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.265
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:       1611288 kB
Buffers:         35684 kB
Cached:         264544 kB
SwapCached:       4684 kB
Active:         127880 kB
Inactive:       235468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1611288 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2344 kB
Writeback:           0 kB
Mapped:          83292 kB
Slab:            65700 kB
Committed_AS:  4783436 kB
PageTables:       2424 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= 66315 MiB



End job on node12 on Sat Jan  6 11:31:24 UTC 2007