Trace number 277266

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
AbsconMax 109 PFCMSAT (TO) 2400.1 2410.24

General information on the benchmark

Nametaillard/
os-taillard-4/os-taillard-4-95-2.xml
MD5SUM4fba640db4f884ad11082dd4c9db0fdf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints46
Best CPU time to get the best result obtained on this benchmark2400.1
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables16
Number of constraints48
Maximum constraint arity2
Maximum domain size256
Number of constraints which are defined in extension0
Number of constraints which are defined in intension48
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/277266-1169263235/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=16  nbDomainTypes=16  minDomainSize=163  maxDomainSize=256
0.39	       =>  wckTime=0.099  cpuTime=0.07  mem=6M910
0.40	   
0.40	   predicates being loaded...
0.40	   
0.40	   constraints being loaded...
1.02	     nbConstraints=48  nbConvertedConstraints=48  nbConvertConstraintsChecks=1979076  nbExtensionStructures=48
1.02	     nbSharedExtensionStructures=0  nbConflictsStructures=48  nbSharedConflictsStructures=0
1.02	     nbSharedBinaryRepresentations=8622  maxDegree=6  maxArity=2
1.02	       =>  wckTime=0.722  cpuTime=0.67  mem=9M835
1.06	   
1.06	   solver LocalSearchSolver being built... 
1.10	       =>  wckTime=0.801  cpuTime=0.71  mem=6M175
1.10	
1.10	s SATISFIABLE
1.10	o 31
1.10	c 17
1.11	o 34
1.11	c 14
1.11	o 37
1.11	c 11
1.11	o 39
1.11	c 9
1.11	o 42
1.11	c 6
1.11	o 43
1.11	c 5
1.13	o 44
1.13	c 4
1.14	o 45
1.14	c 3
1.14	o 46
1.14	c 2
9.25	   
9.25	   search
9.25	     run=0  nbConstraintChecks=77639282  nbAssignments=10000
9.25	       =>  wckTime=8.152  cpuTime=8.09  mem=6M175
17.18	   
17.18	   search
17.18	     run=1  nbConstraintChecks=155304915  nbAssignments=20000
17.18	       =>  wckTime=16.083  cpuTime=15.99  mem=6M175
25.10	   
25.10	   search
25.10	     run=2  nbConstraintChecks=232554217  nbAssignments=30000
25.10	       =>  wckTime=24.0  cpuTime=23.88  mem=6M175
31.28	   
31.28	   search
31.28	     run=3  nbConstraintChecks=293295840  nbAssignments=37488
31.28	       =>  wckTime=30.179  cpuTime=30.04  mem=6M175
31.28	   
31.28	   global
31.28	     nbConstraintChecks=293295840  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.28	     solvingWckTime=30.177  solvingCpuTime=30.04  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.28	     globalCpuTime=30.81
31.28	       =>  wckTime=30.981  cpuTime=30.75  mem=6M175
31.28	   
31.28	   solver IterativeSystematicSolver being built... 
31.40	       =>  wckTime=31.106  cpuTime=30.85  mem=16M82
31.41	   
31.41	   preprocessing
31.41	     nbConstraintChecks=620  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.41	     detectedInconsistency=no
31.41	       =>  wckTime=0.0060  cpuTime=0.0  mem=16M82
31.52	   
31.52	   search
31.52	     run=0  nbConstraintChecks=820166  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=73
31.52	     nbFailedAssignments=55  nbBacktracks=10  nbVisitedNodes=139  nbRestartNogoods=0
31.52	       =>  wckTime=0.111  cpuTime=0.09  mem=17M90
31.56	   
31.56	   search
31.56	     run=1  nbConstraintChecks=1210534  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=111
31.56	     nbFailedAssignments=70  nbBacktracks=25  nbVisitedNodes=207  nbRestartNogoods=55
31.56	       =>  wckTime=0.161  cpuTime=0.13  mem=17M90
31.99	   
31.99	   search
31.99	     run=2  nbConstraintChecks=6976524  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=669
31.99	     nbFailedAssignments=597  nbBacktracks=47  nbVisitedNodes=1314  nbRestartNogoods=70
31.99	       =>  wckTime=0.587  cpuTime=0.54  mem=17M90
33.48	   
33.48	   search
33.48	     run=3  nbConstraintChecks=27917961  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2112
33.48	     nbFailedAssignments=1998  nbBacktracks=80  nbVisitedNodes=4191  nbRestartNogoods=168
33.48	       =>  wckTime=2.072  cpuTime=2.0  mem=17M90
34.35	   
34.35	   search
34.35	     run=4  nbConstraintChecks=39467590  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2909
34.35	     nbFailedAssignments=2737  nbBacktracks=130  nbVisitedNodes=5777  nbRestartNogoods=350
34.35	       =>  wckTime=2.951  cpuTime=2.87  mem=17M90
37.36	   
37.36	   search
37.36	     run=5  nbConstraintChecks=83671517  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6351
37.36	     nbFailedAssignments=6096  nbBacktracks=205  nbVisitedNodes=12653  nbRestartNogoods=420
37.36	       =>  wckTime=5.953  cpuTime=5.84  mem=17M90
41.65	   
41.65	   search
41.65	     run=6  nbConstraintChecks=144001034  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10417
41.65	     nbFailedAssignments=10042  nbBacktracks=318  nbVisitedNodes=20778  nbRestartNogoods=556
41.65	       =>  wckTime=10.249  cpuTime=10.11  mem=17M90
42.22	   
42.22	   search
42.22	     run=7  nbConstraintChecks=151889400  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11167
42.22	     nbFailedAssignments=10612  nbBacktracks=488  nbVisitedNodes=22268  nbRestartNogoods=579
42.22	       =>  wckTime=10.818  cpuTime=10.68  mem=17M90
45.69	   
45.69	   search
45.69	     run=8  nbConstraintChecks=195760101  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14027
45.69	     nbFailedAssignments=13209  nbBacktracks=744  nbVisitedNodes=27981  nbRestartNogoods=785
45.69	       =>  wckTime=14.288  cpuTime=14.13  mem=17M90
56.22	   
56.22	   search
56.22	     run=9  nbConstraintChecks=333158177  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24034
56.22	     nbFailedAssignments=22825  nbBacktracks=1128  nbVisitedNodes=47988  nbRestartNogoods=928
56.22	       =>  wckTime=24.815  cpuTime=24.61  mem=17M90
67.17	   
67.17	   search
67.17	     run=10  nbConstraintChecks=471767079  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33752
67.17	     nbFailedAssignments=31964  nbBacktracks=1704  nbVisitedNodes=67420  nbRestartNogoods=1017
67.17	       =>  wckTime=35.762  cpuTime=35.51  mem=17M90
74.34	   
74.34	   search
74.34	     run=11  nbConstraintChecks=530588360  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36910
74.34	     nbFailedAssignments=34255  nbBacktracks=2568  nbVisitedNodes=73733  nbRestartNogoods=1022
74.34	       =>  wckTime=42.941  cpuTime=42.66  mem=17M90
89.38	   
89.38	   search
89.38	     run=12  nbConstraintChecks=696291083  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=44595
89.38	     nbFailedAssignments=40640  nbBacktracks=3865  nbVisitedNodes=89099  nbRestartNogoods=1182
89.38	       =>  wckTime=57.982  cpuTime=57.62  mem=17M90
112.63	   
112.63	   search
112.63	     run=13  nbConstraintChecks=984395506  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=59697
112.63	     nbFailedAssignments=53793  nbBacktracks=5812  nbVisitedNodes=119203  nbRestartNogoods=1258
112.63	       =>  wckTime=81.229  cpuTime=80.77  mem=17M90
129.87	   
129.87	   search
129.87	     run=14  nbConstraintChecks=1207508678  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=74928
129.87	     nbFailedAssignments=66102  nbBacktracks=8731  nbVisitedNodes=149575  nbRestartNogoods=1322
129.87	       =>  wckTime=98.467  cpuTime=97.92  mem=17M90
176.49	   
176.49	   search
176.49	     run=15  nbConstraintChecks=1820770416  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=108097
176.49	     nbFailedAssignments=94888  nbBacktracks=13109  nbVisitedNodes=215510  nbRestartNogoods=1356
176.49	       =>  wckTime=145.09  cpuTime=144.32  mem=17M90
234.29	   
234.29	   search
234.29	     run=16  nbConstraintChecks=2522360911  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=145983
234.29	     nbFailedAssignments=126203  nbBacktracks=19677  nbVisitedNodes=290866  nbRestartNogoods=1432
234.29	       =>  wckTime=202.884  cpuTime=201.85  mem=17M90
281.14	   
281.14	   search
281.14	     run=17  nbConstraintChecks=3078650514  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=184251
281.14	     nbFailedAssignments=154616  nbBacktracks=29529  nbVisitedNodes=365182  nbRestartNogoods=1539
281.14	       =>  wckTime=249.735  cpuTime=248.48  mem=17M90
458.62	   
458.62	   search
458.62	     run=18  nbConstraintChecks=5322938525  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=303799
458.62	     nbFailedAssignments=259383  nbBacktracks=44307  nbVisitedNodes=602042  nbRestartNogoods=1720
458.62	       =>  wckTime=427.216  cpuTime=425.13  mem=17M90
668.69	   
668.69	   search
668.69	     run=19  nbConstraintChecks=7446007409  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=431060
668.69	     nbFailedAssignments=364474  nbBacktracks=66475  nbVisitedNodes=854607  nbRestartNogoods=1880
668.69	       =>  wckTime=637.291  cpuTime=634.21  mem=17M90
1109.42	   
1109.42	   search
1109.42	     run=20  nbConstraintChecks=12035930365  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=681712
1109.42	     nbFailedAssignments=581872  nbBacktracks=99727  nbVisitedNodes=1353769  nbRestartNogoods=1931
1109.42	       =>  wckTime=1078.013  cpuTime=1072.9  mem=17M90
1981.43	   
1981.44	   search
1981.44	     run=21  nbConstraintChecks=22039628695  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1981.44	     nbAssignments=1256981  nbFailedAssignments=1107257  nbBacktracks=149605  nbVisitedNodes=2499726
1981.44	     nbRestartNogoods=1964
1981.44	       =>  wckTime=1950.032  cpuTime=1940.84  mem=17M90
2410.20	v 3 97 166 188 6 239 0 105 135 27 178 97 196 137 74 2 

Verifier Data (download as text)

2 unsatisfied constraints, 46 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-277266-1169263235 -o ROOT/results/node14/solver-277266-1169263235 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277266-1169263235/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 2.00 2.03 1.98 3/93 23746
/proc/meminfo: memFree=1085848/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=18540 CPUtime=0
/proc/23745/stat : 23745 (runsolver) R 23743 23745 22220 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 274718407 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/23745/statm: 4635 279 244 17 0 2626 0

[startup+0.107486 s]
/proc/loadavg: 2.00 2.03 1.98 3/93 23746
/proc/meminfo: memFree=1085848/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=914988 CPUtime=0.09
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 3023 0 1 0 7 2 0 0 24 0 8 0 274718407 936947712 2769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228747 2769 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515524 s]
/proc/loadavg: 2.00 2.03 1.98 3/93 23746
/proc/meminfo: memFree=1085848/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=0.49
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 6461 0 1 0 45 4 0 0 25 0 8 0 274718407 937435136 6200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 6200 2167 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464

[startup+1.3366 s]
/proc/loadavg: 2.00 2.03 1.98 3/100 23753
/proc/meminfo: memFree=1066208/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=1.31
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 7590 0 1 0 125 6 0 0 25 0 8 0 274718407 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642963 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 7328 2496 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 320 0 0 0 2 0 0 0 17 0 8 0 274718411 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.08
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 318 0 0 0 8 0 0 0 16 0 8 0 274718414 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 7328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464

[startup+2.97375 s]
/proc/loadavg: 2.00 2.03 1.98 3/100 23753
/proc/meminfo: memFree=1066144/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2.94
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 7598 0 1 0 281 13 0 0 25 0 8 0 274718407 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 7335 2496 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 320 0 0 0 2 0 0 0 17 0 8 0 274718411 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.09
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464

[startup+6.26406 s]
/proc/loadavg: 2.00 2.03 1.98 3/100 23753
/proc/meminfo: memFree=1066144/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=6.22
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 7598 0 1 0 596 26 0 0 25 0 8 0 274718407 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073638077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 7335 2496 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 320 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.09
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 325 0 0 0 9 0 0 0 16 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 7335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464

[startup+12.7357 s]
/proc/loadavg: 2.00 2.03 1.98 3/100 23753
/proc/meminfo: memFree=1066152/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=12.66
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 7600 0 1 0 1207 59 0 0 25 0 8 0 274718407 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 7337 2496 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 320 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.1
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464

[startup+25.5959 s]
/proc/loadavg: 2.00 2.03 1.98 3/100 23753
/proc/meminfo: memFree=1066216/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=25.47
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 7600 0 1 0 2427 120 0 0 25 0 8 0 274718407 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073639839 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 7337 2496 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 320 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.1
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 327 0 0 0 10 0 0 0 16 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 7337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915464

[startup+51.2943 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 23755
/proc/meminfo: memFree=1060456/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=51.03
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9121 0 1 0 4955 148 0 0 25 0 8 0 274718407 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 8853 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.18
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 381 0 0 0 18 0 0 0 16 0 8 0 274718414 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915464

[startup+102.58 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 23755
/proc/meminfo: memFree=1060456/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=102.08
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9138 0 1 0 10060 148 0 0 25 0 8 0 274718407 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 8867 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.18
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 18 0 0 0 16 0 8 0 274718414 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 915464

[startup+162.604 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 23755
/proc/meminfo: memFree=1060392/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=161.84
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9144 0 1 0 16036 148 0 0 25 0 8 0 274718407 937435136 8873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2013.88
Current children cumulated vsize (KiB) 915464

[startup+2083.36 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 23755
/proc/meminfo: memFree=1060008/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2073.63
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 207210 153 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764227 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.63
Current children cumulated vsize (KiB) 915464

[startup+2143.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 23755
/proc/meminfo: memFree=1060072/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2133.38
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 213185 153 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2133.38
Current children cumulated vsize (KiB) 915464

[startup+2203.38 s]
/proc/loadavg: 1.51 1.87 1.96 2/85 23772
/proc/meminfo: memFree=1286328/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2193.29
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 219175 154 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764045 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.29
Current children cumulated vsize (KiB) 915464

[startup+2263.48 s]
/proc/loadavg: 1.19 1.71 1.89 2/85 23772
/proc/meminfo: memFree=1286392/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2253.37
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 225183 154 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073764024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.37
Current children cumulated vsize (KiB) 915464

[startup+2323.58 s]
/proc/loadavg: 1.10 1.59 1.84 2/85 23772
/proc/meminfo: memFree=1286456/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2313.44
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 231190 154 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.44
Current children cumulated vsize (KiB) 915464

[startup+2383.67 s]
/proc/loadavg: 1.04 1.48 1.79 2/85 23772
/proc/meminfo: memFree=1286456/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2373.52
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 237198 154 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.52
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.19 s]
/proc/loadavg: 1.08 1.45 1.76 2/85 23772
/proc/meminfo: memFree=1286520/2055920 swapFree=4158792/4192956
[pid=23745] ppid=23743 vsize=915464 CPUtime=2400.04
/proc/23745/stat : 23745 (java) R 23743 23745 22220 0 -1 0 9166 0 1 0 239850 154 0 0 25 0 8 0 274718407 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23745/statm: 228866 8894 2544 14 0 215336 0
[pid=23745/tid=23747] ppid=23743 vsize=915464 CPUtime=0.02
/proc/23745/task/23747/stat : 23747 (java) S 23743 23745 22220 0 -1 64 321 0 0 0 2 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23748] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23748/stat : 23748 (java) S 23743 23745 22220 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23749] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23749/stat : 23749 (java) S 23743 23745 22220 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274718411 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23750] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23750/stat : 23750 (java) S 23743 23745 22220 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23751] ppid=23743 vsize=915464 CPUtime=0.19
/proc/23745/task/23751/stat : 23751 (java) S 23743 23745 22220 0 -1 64 384 0 0 0 19 0 0 0 16 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23752] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23752/stat : 23752 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23745/tid=23753] ppid=23743 vsize=915464 CPUtime=0
/proc/23745/task/23753/stat : 23753 (java) S 23743 23745 22220 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274718414 937435136 8894 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2410.24
CPU time (s): 2400.1
CPU user time (s): 2398.54
CPU system time (s): 1.55476
CPU usage (%): 99.5792
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.54
system time used= 1.55476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9193
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= 49879
involuntary context switches= 104450

runsolver used 2.55461 s user time and 6.24305 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan 20 03:20:35 UTC 2007


IDJOB= 277266
IDBENCH= 6539
IDSOLVER= 69
FILE ID= node14/277266-1169263235

PBS_JOBID= 3607279

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-4/os-taillard-4-95-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277266-1169263235/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-277266-1169263235 -o ROOT/results/node14/solver-277266-1169263235 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277266-1169263235/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4fba640db4f884ad11082dd4c9db0fdf

RANDOM SEED= 756919674

TIME LIMIT= 2400 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.227
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.227
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:       1086456 kB
Buffers:         52012 kB
Cached:         593232 kB
SwapCached:       3272 kB
Active:         407664 kB
Inactive:       484568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1086456 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            1664 kB
Writeback:           0 kB
Mapped:         264664 kB
Slab:            61616 kB
Committed_AS:  9634728 kB
PageTables:       2644 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= 66563 MiB



End job on node14 on Sat Jan 20 04:00:45 UTC 2007