Trace number 234089

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.12 1811.56

General information on the benchmark

Nametaillard/
js-taillard-15/js-taillard-15-95-5.xml
MD5SUMc769afca31f75a328b4702a35d1d4cfe
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark317.01
SatisfiableNO
(Un)Satisfiability was proved
Number of variables225
Number of constraints1785
Maximum constraint arity2
Maximum domain size1185
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1785
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/234089-1168081446/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.46	     nbVariables=225  nbDomainTypes=225  minDomainSize=1087  maxDomainSize=1185
0.46	       =>  wckTime=0.161  cpuTime=0.14  mem=13M758
0.46	   
0.46	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
4.42	   
4.42	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 30M599)
4.71	     nbConstraints=1785  nbConvertedConstraints=12  nbConvertConstraintsChecks=15829904  nbExtensionStructures=12
4.71	     nbSharedExtensionStructures=0  nbConflictsStructures=12  nbSharedConflictsStructures=0
4.71	     nbSharedBinaryRepresentations=759  nbEvaluationManagers=1773  nbSharedEvaluationManagers=0  maxDegree=16
4.71	     maxArity=2
4.71	       =>  wckTime=4.415  cpuTime=4.23  mem=43M277
4.81	   
4.81	   solver IterativeSystematicSolver being built... 
5.01	       =>  wckTime=4.717  cpuTime=4.4  mem=54M650
50.67	   
50.67	   preprocessing
50.67	     nbConstraintChecks=191732518  nbValidityChecks=4194975  nbPropagations=523  nbRevisions=9517
50.67	     nbUselessRevisions=8730  nbRemovedValues=158914  detectedInconsistency=no
50.67	       =>  wckTime=45.64  cpuTime=45.21  mem=54M650
59.88	   
59.88	   search
59.88	     run=0  nbConstraintChecks=27980756  nbValidityChecks=6739741  nbPropagations=2423  nbRevisions=36206
59.88	     nbUselessRevisions=32265  nbAssignments=70  nbFailedAssignments=14  nbBacktracks=10  nbVisitedNodes=90
59.88	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
59.88	       =>  wckTime=54.846  cpuTime=54.3  mem=56M625
143.62	   
143.62	   search
143.62	     run=1  nbConstraintChecks=313385025  nbValidityChecks=143732232  nbPropagations=46769  nbRevisions=764486
143.62	     nbUselessRevisions=661150  nbAssignments=542  nbFailedAssignments=447  nbBacktracks=25  nbVisitedNodes=1005
143.62	     nbRestartNogoods=9  mapSize=19  nbInferences=0  nbTooLargeKeys=0
143.62	       =>  wckTime=138.592  cpuTime=137.13  mem=57M596
150.68	   
150.68	   search
150.68	     run=2  nbConstraintChecks=335546120  nbValidityChecks=162210183  nbPropagations=97451  nbRevisions=1586242
150.68	     nbUselessRevisions=1368173  nbAssignments=910  nbFailedAssignments=772  nbBacktracks=47  nbVisitedNodes=1713
150.68	     nbRestartNogoods=96  mapSize=34  nbInferences=0  nbTooLargeKeys=0
150.68	       =>  wckTime=145.654  cpuTime=144.11  mem=59M538
168.63	   
168.63	   search
168.63	     run=3  nbConstraintChecks=390825781  nbValidityChecks=194823950  nbPropagations=157587  nbRevisions=2565091
168.63	     nbUselessRevisions=2204468  nbAssignments=1164  nbFailedAssignments=974  nbBacktracks=80  nbVisitedNodes=2184
168.63	     nbRestartNogoods=136  mapSize=57  nbInferences=0  nbTooLargeKeys=0
168.63	       =>  wckTime=163.605  cpuTime=161.88  mem=60M509
285.80	   
285.80	   search
285.80	     run=4  nbConstraintChecks=730998055  nbValidityChecks=391002657  nbPropagations=268985  nbRevisions=4441777
285.80	     nbUselessRevisions=3750523  nbAssignments=2156  nbFailedAssignments=1895  nbBacktracks=130  nbVisitedNodes=4144
285.80	     nbRestartNogoods=142  mapSize=107  nbInferences=0  nbTooLargeKeys=0
285.80	       =>  wckTime=280.767  cpuTime=277.83  mem=41M362
361.86	   
361.86	   search
361.86	     run=5  nbConstraintChecks=978731515  nbValidityChecks=519729173  nbPropagations=417406  nbRevisions=6950295
361.86	     nbUselessRevisions=5823130  nbAssignments=3247  nbFailedAssignments=2892  nbBacktracks=205  nbVisitedNodes=6285
361.86	     nbRestartNogoods=256  mapSize=174  nbInferences=1  nbTooLargeKeys=0
361.86	       =>  wckTime=356.832  cpuTime=353.33  mem=44M193
371.31	   
371.31	   search
371.31	     run=6  nbConstraintChecks=1007702857  nbValidityChecks=542141885  nbPropagations=573703  nbRevisions=9569472
371.31	     nbUselessRevisions=7993033  nbAssignments=3857  nbFailedAssignments=3367  nbBacktracks=321  nbVisitedNodes=7417
371.31	     nbRestartNogoods=466  mapSize=251  nbInferences=1  nbTooLargeKeys=0
371.31	       =>  wckTime=366.278  cpuTime=362.73  mem=48M56
589.90	   
589.90	   search
589.90	     run=7  nbConstraintChecks=1579655865  nbValidityChecks=1129602560  nbPropagations=933159  nbRevisions=15395472
589.90	     nbUselessRevisions=12840633  nbAssignments=9446  nbFailedAssignments=8760  nbBacktracks=491  nbVisitedNodes=18557
589.90	     nbRestartNogoods=507  mapSize=415  nbInferences=1  nbTooLargeKeys=0
589.90	       =>  wckTime=584.868  cpuTime=580.11  mem=53M649
783.44	   
783.44	   search
783.44	     run=8  nbConstraintChecks=2160848615  nbValidityChecks=1450753274  nbPropagations=1410984  nbRevisions=23110225
783.44	     nbUselessRevisions=19230020  nbAssignments=12700  nbFailedAssignments=11728  nbBacktracks=750  nbVisitedNodes=24888
783.44	     nbRestartNogoods=706  mapSize=560  nbInferences=1  nbTooLargeKeys=0
783.44	       =>  wckTime=778.412  cpuTime=772.59  mem=62M745
1011.64	   
1011.64	   search
1011.64	     run=9  nbConstraintChecks=2824971679  nbValidityChecks=1869381037  nbPropagations=2060608  nbRevisions=33513445
1011.64	     nbUselessRevisions=27829588  nbAssignments=19180  nbFailedAssignments=17801  nbBacktracks=1134
1011.64	     nbVisitedNodes=37716  nbRestartNogoods=769  mapSize=889  nbInferences=1  nbTooLargeKeys=0
1011.64	       =>  wckTime=1006.612  cpuTime=999.52  mem=73M962
1145.30	   
1145.30	   INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=79M625)
1375.21	   
1375.21	   search
1375.21	     run=10  nbConstraintChecks=3897990596  nbValidityChecks=2625205002  nbPropagations=3019284  nbRevisions=48809550
1375.21	     nbUselessRevisions=40640839  nbAssignments=25532  nbFailedAssignments=23555  nbBacktracks=1710
1375.21	     nbVisitedNodes=50244  nbRestartNogoods=954
1375.21	       =>  wckTime=1370.179  cpuTime=1361.07  mem=79M625

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/node21/watcher-234089-1168081446 -o ROOT/results/node21/solver-234089-1168081446 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234089-1168081446/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.76 0.81 0.81 2/93 22428
/proc/meminfo: memFree=1529496/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=18540 CPUtime=0
/proc/22427/stat : 22427 (runsolver) R 22425 22427 21801 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156539496 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22427/statm: 4635 279 244 17 0 2626 0

[startup+0.102547 s]
/proc/loadavg: 1.76 0.81 0.81 2/93 22428
/proc/meminfo: memFree=1529496/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=914988 CPUtime=0.08
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 2996 0 1 0 7 1 0 0 25 0 8 0 156539496 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510623 s]
/proc/loadavg: 1.76 0.81 0.81 2/93 22428
/proc/meminfo: memFree=1529496/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915328 CPUtime=0.49
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 7996 0 1 0 44 5 0 0 25 0 8 0 156539496 937295872 7735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228832 7735 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33277 s]
/proc/loadavg: 1.76 0.81 0.81 3/100 22435
/proc/meminfo: memFree=1495712/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915632 CPUtime=1.3
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 10925 0 1 0 122 8 0 0 25 0 8 0 156539496 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782710 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228908 10663 2167 14 0 215378 0
[pid=22427/tid=22429] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156539500 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156539501 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156539501 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915632 CPUtime=0.13
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 411 0 0 0 12 1 0 0 16 0 8 0 156539504 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937607168 10663 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.97908 s]
/proc/loadavg: 1.86 0.84 0.82 3/100 22435
/proc/meminfo: memFree=1493664/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915632 CPUtime=2.93
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 11580 0 1 0 285 8 0 0 25 0 8 0 156539496 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228908 11317 2167 14 0 215378 0
[pid=22427/tid=22429] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156539500 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156539501 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 4 0 0 0 0 0 0 0 23 0 8 0 156539501 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915632 CPUtime=0.14
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 411 0 0 0 12 2 0 0 16 0 8 0 156539504 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915632 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937607168 11317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.2657 s]
/proc/loadavg: 1.86 0.84 0.82 3/100 22435
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=6.19
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 18976 0 1 0 606 13 0 0 25 0 8 0 156539496 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074028733 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 18710 2529 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.08
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 3267 0 0 0 7 1 0 0 17 0 8 0 156539500 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.24
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 479 0 0 0 22 2 0 0 15 0 8 0 156539504 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 18710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915736

[startup+12.7479 s]
/proc/loadavg: 1.88 0.88 0.83 3/100 22435
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=12.61
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 18983 0 1 0 1248 13 0 0 25 0 8 0 156539496 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025719 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 18714 2529 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.08
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 3267 0 0 0 7 1 0 0 16 0 8 0 156539500 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.25
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 486 0 0 0 23 2 0 0 16 0 8 0 156539504 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 18714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915736

[startup+25.5854 s]
/proc/loadavg: 1.90 0.92 0.85 3/100 22435
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=25.34
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 18985 0 1 0 2521 13 0 0 25 0 8 0 156539496 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 18715 2529 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.08
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 3267 0 0 0 7 1 0 0 16 0 8 0 156539500 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.25
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 488 0 0 0 23 2 0 0 15 0 8 0 156539504 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 18715 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915736

[startup+51.2792 s]
/proc/loadavg: 1.93 1.00 0.87 3/100 22435
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=50.81
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 18992 0 1 0 5068 13 0 0 25 0 8 0 156539496 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 18720 2530 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.08
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 3267 0 0 0 7 1 0 0 17 0 8 0 156539500 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.26
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 490 0 0 0 24 2 0 0 15 0 8 0 156539504 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 18720 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 915736

[startup+102.502 s]
/proc/loadavg: 1.97 1.15 0.93 3/100 22435
/proc/meminfo: memFree=1463520/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=101.43
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 19282 0 1 0 10129 14 0 0 25 0 8 0 156539496 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 19000 2534 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.08
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 3268 0 0 0 7 1 0 0 16 0 8 0 156539500 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.29
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 509 0 0 0 26 3 0 0 16 0 8 0 156539504 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 19000 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915736

[startup+162.57 s]
/proc/loadavg: 1.99 1.31 1.00 3/100 22435
/proc/meminfo: memFree=1434336/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=160.91
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 19997 0 1 0 16076 15 0 0 25 0 8 0 156539496 937713664 19712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074044081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1414.75
Current children cumulated vsize (KiB) 915736

[startup+1484.11 s]
/proc/loadavg: 2.00 1.97 1.73 3/100 22493
/proc/meminfo: memFree=1453600/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1474.46
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 147423 23 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.46
Current children cumulated vsize (KiB) 915736

[startup+1544.18 s]
/proc/loadavg: 2.00 1.97 1.75 3/100 22493
/proc/meminfo: memFree=1453600/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1534.21
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 153398 23 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782581 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.21
Current children cumulated vsize (KiB) 915736

[startup+1604.24 s]
/proc/loadavg: 2.00 1.97 1.76 3/100 22493
/proc/meminfo: memFree=1453536/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1593.96
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 159372 24 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.96
Current children cumulated vsize (KiB) 915736

[startup+1664.31 s]
/proc/loadavg: 2.00 1.97 1.77 3/100 22493
/proc/meminfo: memFree=1453536/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1653.68
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 165344 24 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.68
Current children cumulated vsize (KiB) 915736

[startup+1724.37 s]
/proc/loadavg: 2.00 1.97 1.78 3/100 22493
/proc/meminfo: memFree=1453536/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1713.41
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 171317 24 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.41
Current children cumulated vsize (KiB) 915736

[startup+1784.44 s]
/proc/loadavg: 2.06 1.99 1.80 3/100 22493
/proc/meminfo: memFree=1453536/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1773.15
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 177291 24 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782553 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.15
Current children cumulated vsize (KiB) 915736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.49 s]
/proc/loadavg: 2.04 1.99 1.80 3/100 22493
/proc/meminfo: memFree=1453536/2055920 swapFree=4192812/4192956
[pid=22427] ppid=22425 vsize=915736 CPUtime=1800.04
/proc/22427/stat : 22427 (java) R 22425 22427 21801 0 -1 0 26833 0 1 0 179980 24 0 0 25 0 8 0 156539496 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22427/statm: 228934 26534 2538 14 0 215404 0
[pid=22427/tid=22429] ppid=22425 vsize=915736 CPUtime=0.13
/proc/22427/task/22429/stat : 22429 (java) S 22425 22427 21801 0 -1 64 9662 0 0 0 9 4 0 0 16 0 8 0 156539500 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22430] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22430/stat : 22430 (java) S 22425 22427 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22431] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22431/stat : 22431 (java) S 22425 22427 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156539501 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22432] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22432/stat : 22432 (java) S 22425 22427 21801 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22433] ppid=22425 vsize=915736 CPUtime=0.34
/proc/22427/task/22433/stat : 22433 (java) S 22425 22427 21801 0 -1 64 539 0 0 0 31 3 0 0 16 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22434] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22434/stat : 22434 (java) S 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22427/tid=22435] ppid=22425 vsize=915736 CPUtime=0
/proc/22427/task/22435/stat : 22435 (java) R 22425 22427 21801 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156539504 937713664 26534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915736

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

Child status: 143
Real time (s): 1811.56
CPU time (s): 1800.12
CPU user time (s): 1799.85
CPU system time (s): 0.265959
CPU usage (%): 99.3682
Max. virtual memory (cumulated for all children) (KiB): 915736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.265959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26849
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= 38299
involuntary context switches= 76248

runsolver used 2.05269 s user time and 5.9071 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan  6 11:04:08 UTC 2007


IDJOB= 234089
IDBENCH= 6661
FILE ID= node21/234089-1168081446

PBS_JOBID= 3476122

Free space on /tmp= 66543 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c769afca31f75a328b4702a35d1d4cfe

RANDOM SEED= 178846372

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.261
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.261
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:       1530104 kB
Buffers:         35072 kB
Cached:         197284 kB
SwapCached:          0 kB
Active:         343172 kB
Inactive:       110920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1530104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2036 kB
Writeback:           0 kB
Mapped:         250768 kB
Slab:            56260 kB
Committed_AS:  3779844 kB
PageTables:       2504 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= 66544 MiB



End job on node21 on Sat Jan  6 11:34:31 UTC 2007