Trace number 275112

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.05 2405.19

General information on the benchmark

NamegolombRuler/golombRulerArity4/
ruler-55-11-a4.xml
MD5SUM1f9db1cd2e7ccd3afc8aaa7073d57623
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints1371
Best CPU time to get the best result obtained on this benchmark2400.05
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables11
Number of constraints1375
Maximum constraint arity4
Maximum domain size56
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1375
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275112-1169216650/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=11  nbDomainTypes=1  minDomainSize=56  maxDomainSize=56
0.40	       =>  wckTime=0.097  cpuTime=0.08  mem=6M910
0.40	   
0.40	   predicates being loaded...
0.41	   
0.41	   constraints being loaded...
0.78	     nbConstraints=1375  nbConvertedConstraints=55  nbConvertConstraintsChecks=3136  nbExtensionStructures=1
0.78	     nbSharedExtensionStructures=54  nbConflictsStructures=1  nbSharedConflictsStructures=54
0.78	     nbUnbuiltConflictsStructures=5  nbSharedBinaryRepresentations=1  nbEvaluationManagers=5
0.78	     nbSharedEvaluationManagers=1315  maxDegree=460  maxArity=4
0.78	       =>  wckTime=0.479  cpuTime=0.36  mem=14M711
0.83	   
0.83	   solver LocalSearchSolver being built... 
0.87	       =>  wckTime=0.569  cpuTime=0.4  mem=6M230
0.89	
0.89	s SATISFIABLE
0.89	o 1343
0.89	c 32
0.90	o 1348
0.90	c 27
0.91	o 1352
0.91	c 23
0.93	o 1357
0.93	c 18
0.94	o 1361
0.94	c 14
1.02	o 1363
1.02	c 12
1.43	o 1367
1.43	c 8
1.44	o 1368
1.44	c 7
1.55	o 1369
1.55	c 6
2.58	o 1370
2.58	c 5
7.38	o 1371
7.38	c 4
37.55	   
37.55	   search
37.55	     run=0  nbConstraintChecks=88962955  nbAssignments=2449
37.55	       =>  wckTime=36.674  cpuTime=36.48  mem=6M230
37.55	   
37.55	   global
37.55	     nbConstraintChecks=88962955  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.55	     solvingWckTime=36.672  solvingCpuTime=36.47  expiredTime=no  totalExploration=no  nbFoundSolutions=0
37.55	     globalCpuTime=36.95
37.55	       =>  wckTime=37.244  cpuTime=36.89  mem=6M230
37.55	   
37.55	   solver IterativeSystematicSolver being built... 
37.79	       =>  wckTime=37.484  cpuTime=37.08  mem=34M917
38.05	   
38.05	   preprocessing
38.05	     nbConstraintChecks=301437  nbValidityChecks=125213  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
38.05	     nbRemovedValues=10  detectedInconsistency=no
38.05	       =>  wckTime=0.255  cpuTime=0.23  mem=34M917
47.47	   
47.47	   search
47.47	     run=0  nbConstraintChecks=9062650  nbValidityChecks=29910145  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
47.47	     nbAssignments=84  nbFailedAssignments=71  nbBacktracks=10  nbVisitedNodes=166  nbRestartNogoods=0
47.47	       =>  wckTime=9.682  cpuTime=9.59  mem=34M917
50.93	   
50.93	   search
50.93	     run=1  nbConstraintChecks=12297125  nbValidityChecks=40367869  nbPropagations=0  nbRevisions=0
50.93	     nbUselessRevisions=0  nbAssignments=122  nbFailedAssignments=91  nbBacktracks=25  nbVisitedNodes=239
50.93	     nbRestartNogoods=21
50.93	       =>  wckTime=13.144  cpuTime=13.02  mem=34M917
56.61	   
56.61	   search
56.61	     run=2  nbConstraintChecks=17442452  nbValidityChecks=59406319  nbPropagations=0  nbRevisions=0
56.61	     nbUselessRevisions=0  nbAssignments=171  nbFailedAssignments=116  nbBacktracks=47  nbVisitedNodes=335
56.61	     nbRestartNogoods=38
56.61	       =>  wckTime=18.819  cpuTime=18.66  mem=34M917
66.32	   
66.32	   search
66.32	     run=3  nbConstraintChecks=26203968  nbValidityChecks=91631260  nbPropagations=0  nbRevisions=0
66.32	     nbUselessRevisions=0  nbAssignments=273  nbFailedAssignments=183  nbBacktracks=80  nbVisitedNodes=537
66.32	     nbRestartNogoods=63
66.32	       =>  wckTime=28.527  cpuTime=28.33  mem=34M917
80.53	   
80.53	   search
80.53	     run=4  nbConstraintChecks=38873030  nbValidityChecks=140430057  nbPropagations=0  nbRevisions=0
80.53	     nbUselessRevisions=0  nbAssignments=401  nbFailedAssignments=259  nbBacktracks=130  nbVisitedNodes=790
80.53	     nbRestartNogoods=99
80.53	       =>  wckTime=42.735  cpuTime=42.47  mem=34M917
102.31	   
102.31	   search
102.31	     run=5  nbConstraintChecks=58062426  nbValidityChecks=212410716  nbPropagations=0  nbRevisions=0
102.31	     nbUselessRevisions=0  nbAssignments=637  nbFailedAssignments=418  nbBacktracks=205  nbVisitedNodes=1260
102.31	     nbRestartNogoods=126
102.31	       =>  wckTime=64.516  cpuTime=64.15  mem=34M917
126.44	   
126.44	   search
126.44	     run=6  nbConstraintChecks=73920753  nbValidityChecks=281196326  nbPropagations=0  nbRevisions=0
126.44	     nbUselessRevisions=0  nbAssignments=1807  nbFailedAssignments=1470  nbBacktracks=318  nbVisitedNodes=3594
126.44	     nbRestartNogoods=137
126.44	       =>  wckTime=88.648  cpuTime=88.14  mem=34M917
150.89	   
150.89	   search
150.89	     run=7  nbConstraintChecks=87411665  nbValidityChecks=341034813  nbPropagations=0  nbRevisions=0
150.89	     nbUselessRevisions=0  nbAssignments=3593  nbFailedAssignments=3080  nbBacktracks=488  nbVisitedNodes=7159
150.89	     nbRestartNogoods=184
150.89	       =>  wckTime=113.101  cpuTime=112.47  mem=34M917
219.98	   
219.98	   search
219.98	     run=8  nbConstraintChecks=144333754  nbValidityChecks=541823846  nbPropagations=0  nbRevisions=0
219.98	     nbUselessRevisions=0  nbAssignments=5557  nbFailedAssignments=4783  nbBacktracks=744  nbVisitedNodes=11059
219.98	     nbRestartNogoods=256
219.98	       =>  wckTime=182.19  cpuTime=181.24  mem=34M917
266.96	   
266.96	   search
266.96	     run=9  nbConstraintChecks=172502162  nbValidityChecks=656548115  nbPropagations=0  nbRevisions=0
266.96	     nbUselessRevisions=0  nbAssignments=8929  nbFailedAssignments=7765  nbBacktracks=1128  nbVisitedNodes=17796
266.96	     nbRestartNogoods=282
266.96	       =>  wckTime=229.167  cpuTime=227.99  mem=34M917
357.48	   
357.48	   search
357.48	     run=10  nbConstraintChecks=235210076  nbValidityChecks=884951647  nbPropagations=0  nbRevisions=0
357.48	     nbUselessRevisions=0  nbAssignments=13266  nbFailedAssignments=11523  nbBacktracks=1704  nbVisitedNodes=26397
357.48	     nbRestartNogoods=339
357.48	       =>  wckTime=319.685  cpuTime=318.08  mem=34M917
435.04	   
435.04	   search
435.04	     run=11  nbConstraintChecks=291306144  nbValidityChecks=1087166306  nbPropagations=0  nbRevisions=0
435.04	     nbUselessRevisions=0  nbAssignments=16518  nbFailedAssignments=13908  nbBacktracks=2568  nbVisitedNodes=32636
435.04	     nbRestartNogoods=361
435.04	       =>  wckTime=397.252  cpuTime=395.28  mem=34M917
561.28	   
561.28	   search
561.28	     run=12  nbConstraintChecks=374891344  nbValidityChecks=1405909321  nbPropagations=0  nbRevisions=0
561.28	     nbUselessRevisions=0  nbAssignments=23340  nbFailedAssignments=19428  nbBacktracks=3865  nbVisitedNodes=46101
561.28	     nbRestartNogoods=376
561.28	       =>  wckTime=523.492  cpuTime=520.93  mem=34M917
696.15	   
696.15	   search
696.15	     run=13  nbConstraintChecks=462735693  nbValidityChecks=1747361701  nbPropagations=0  nbRevisions=0
696.15	     nbUselessRevisions=0  nbAssignments=30662  nbFailedAssignments=24799  nbBacktracks=5812  nbVisitedNodes=60169
696.15	     nbRestartNogoods=410
696.15	       =>  wckTime=658.36  cpuTime=655.32  mem=34M917
963.68	   
963.68	   search
963.68	     run=14  nbConstraintChecks=680740921  nbValidityChecks=2530896320  nbPropagations=0  nbRevisions=0
963.68	     nbUselessRevisions=0  nbAssignments=40338  nbFailedAssignments=31551  nbBacktracks=8731  nbVisitedNodes=78702
963.68	     nbRestartNogoods=438
963.68	       =>  wckTime=925.891  cpuTime=922.46  mem=34M917
1156.63	   
1156.63	   search
1156.63	     run=15  nbConstraintChecks=795552345  nbValidityChecks=3008054759  nbPropagations=0  nbRevisions=0
1156.63	     nbUselessRevisions=0  nbAssignments=53813  nbFailedAssignments=40642  nbBacktracks=13109  nbVisitedNodes=104467
1156.63	     nbRestartNogoods=467
1156.63	       =>  wckTime=1118.838  cpuTime=1115.21  mem=34M917
1569.43	   
1569.43	   search
1569.43	     run=16  nbConstraintChecks=1074386869  nbValidityChecks=4097383510  nbPropagations=0  nbRevisions=0
1569.43	     nbUselessRevisions=0  nbAssignments=74658  nbFailedAssignments=54914  nbBacktracks=19677  nbVisitedNodes=143953
1569.43	     nbRestartNogoods=493
1569.43	       =>  wckTime=1531.642  cpuTime=1527.56  mem=35M892
2241.99	   
2242.00	   search
2242.00	     run=17  nbConstraintChecks=1609218024  nbValidityChecks=5957618513  nbPropagations=0  nbRevisions=0
2242.00	     nbUselessRevisions=0  nbAssignments=103073  nbFailedAssignments=73472  nbBacktracks=29529  nbVisitedNodes=197316
2242.00	     nbRestartNogoods=532
2242.00	       =>  wckTime=2204.205  cpuTime=2199.35  mem=35M892
2405.16	v 0 2 10 15 29 33 34 45 51 54 54

Verifier Data (download as text)

4 unsatisfied constraints, 1371 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/node13/watcher-275112-1169216650 -o ROOT/results/node13/solver-275112-1169216650 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275112-1169216650/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: 1.92 1.96 1.83 4/87 13207
/proc/meminfo: memFree=1402896/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=906644 CPUtime=0.02
/proc/13206/stat : 13206 (java) S 13204 13206 13066 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 270059968 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 226661 1818 1036 14 0 214244 0
[pid=13206/tid=13208] ppid=13204 vsize=906644 CPUtime=0
/proc/13206/task/13208/stat : 13208 (java) R 13204 13206 13066 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 270059972 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102633 s]
/proc/loadavg: 1.92 1.96 1.83 4/87 13207
/proc/meminfo: memFree=1402896/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=914988 CPUtime=0.09
/proc/13206/stat : 13206 (java) S 13204 13206 13066 0 -1 0 2998 0 1 0 8 1 0 0 17 0 8 0 270059968 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228747 2744 1427 14 0 215242 0
[pid=13206/tid=13208] ppid=13204 vsize=914988 CPUtime=0
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270059972 936947712 2744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510687 s]
/proc/loadavg: 1.92 1.96 1.83 4/87 13207
/proc/meminfo: memFree=1402896/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915332 CPUtime=0.49
/proc/13206/stat : 13206 (java) S 13204 13206 13066 0 -1 0 6441 0 1 0 47 2 0 0 17 0 8 0 270059968 937299968 6180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228833 6180 2147 14 0 215303 0
[pid=13206/tid=13208] ppid=13204 vsize=915332 CPUtime=0
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 270059972 937299968 6180 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33179 s]
/proc/loadavg: 1.92 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378392/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=1.31
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8807 0 1 0 121 10 0 0 21 0 8 0 270059968 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8545 2494 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 367 0 0 0 17 0 0 0 17 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452

[startup+2.97501 s]
/proc/loadavg: 1.92 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378392/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2.95
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8812 0 1 0 285 10 0 0 25 0 8 0 270059968 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8549 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452

[startup+6.18144 s]
/proc/loadavg: 1.92 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378264/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=6.14
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8812 0 1 0 602 12 0 0 25 0 8 0 270059968 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8549 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915452

[startup+12.6513 s]
/proc/loadavg: 1.93 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378264/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=12.58
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8812 0 1 0 1244 14 0 0 25 0 8 0 270059968 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8549 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.17
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 371 0 0 0 17 0 0 0 16 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8549 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915452

[startup+25.507 s]
/proc/loadavg: 1.94 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1378264/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=25.38
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 8815 0 1 0 2521 17 0 0 25 0 8 0 270059968 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 8552 2496 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 332 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.18
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 8552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915452

[startup+51.1264 s]
/proc/loadavg: 1.96 1.96 1.83 3/94 13214
/proc/meminfo: memFree=1359064/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=50.87
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13677 0 1 0 5063 24 0 0 25 0 8 0 270059968 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 13406 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.27
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 433 0 0 0 27 0 0 0 15 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 13406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915452

[startup+102.392 s]
/proc/loadavg: 1.98 1.97 1.83 3/94 13214
/proc/meminfo: memFree=1359064/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=101.89
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13691 0 1 0 10165 24 0 0 25 0 8 0 270059968 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13206/statm: 228863 13419 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.28
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 436 0 0 0 28 0 0 0 16 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270059976 937422848 13419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915452

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

Current children cumulated CPU time (s) 2018.61
Current children cumulated vsize (KiB) 915452

[startup+2083.27 s]
/proc/loadavg: 2.03 2.01 1.94 3/101 13300
/proc/meminfo: memFree=1314656/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2078.54
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13745 0 1 0 207818 36 0 0 25 0 8 0 270059968 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13464 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2078.54
Current children cumulated vsize (KiB) 915452

[startup+2143.28 s]
/proc/loadavg: 2.07 2.02 1.95 3/101 13300
/proc/meminfo: memFree=1314656/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2138.49
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13745 0 1 0 213813 36 0 0 25 0 8 0 270059968 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13464 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2138.49
Current children cumulated vsize (KiB) 915452

[startup+2203.34 s]
/proc/loadavg: 2.02 2.02 1.95 3/101 13300
/proc/meminfo: memFree=1314720/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2198.48
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13745 0 1 0 219812 36 0 0 25 0 8 0 270059968 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971694 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13464 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.48
Current children cumulated vsize (KiB) 915452

[startup+2263.4 s]
/proc/loadavg: 2.01 2.01 1.95 3/107 13464
/proc/meminfo: memFree=1313328/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2258.41
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 225792 49 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.41
Current children cumulated vsize (KiB) 915452

[startup+2323.43 s]
/proc/loadavg: 2.00 2.01 1.95 3/101 13498
/proc/meminfo: memFree=1314400/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2318.38
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 231784 54 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.38
Current children cumulated vsize (KiB) 915452

[startup+2383.44 s]
/proc/loadavg: 2.00 2.00 1.95 3/101 13498
/proc/meminfo: memFree=1314400/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2378.33
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 237778 55 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074049769 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.33
Current children cumulated vsize (KiB) 915452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.15 s]
/proc/loadavg: 2.00 2.00 1.95 4/101 13498
/proc/meminfo: memFree=1314400/2055920 swapFree=4169400/4192956
[pid=13206] ppid=13204 vsize=915452 CPUtime=2400.01
/proc/13206/stat : 13206 (java) R 13204 13206 13066 0 -1 0 13748 0 1 0 239946 55 0 0 25 0 8 0 270059968 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13206/statm: 228863 13467 2546 14 0 215333 0
[pid=13206/tid=13208] ppid=13204 vsize=915452 CPUtime=0.03
/proc/13206/task/13208/stat : 13208 (java) S 13204 13206 13066 0 -1 64 333 0 0 0 3 0 0 0 16 0 8 0 270059972 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13209] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13209/stat : 13209 (java) S 13204 13206 13066 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13210] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13210/stat : 13210 (java) S 13204 13206 13066 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270059973 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13211] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13211/stat : 13211 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13212] ppid=13204 vsize=915452 CPUtime=0.33
/proc/13206/task/13212/stat : 13212 (java) S 13204 13206 13066 0 -1 64 455 0 0 0 32 1 0 0 16 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13206/tid=13213] ppid=13204 vsize=915452 CPUtime=0
/proc/13206/task/13213/stat : 13213 (java) S 13204 13206 13066 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13206/tid=13214] ppid=13204 vsize=915452 CPUtime=0.01
/proc/13206/task/13214/stat : 13214 (java) S 13204 13206 13066 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 270059976 937422848 13467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915452

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

Child status: 143
Real time (s): 2405.19
CPU time (s): 2400.05
CPU user time (s): 2399.49
CPU system time (s): 0.559914
CPU usage (%): 99.7863
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.49
system time used= 0.559914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13773
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= 49783
involuntary context switches= 65455

runsolver used 3.10353 s user time and 7.97379 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Fri Jan 19 14:24:10 UTC 2007


IDJOB= 275112
IDBENCH= 3529
IDSOLVER= 69
FILE ID= node13/275112-1169216650

PBS_JOBID= 3588938

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity4/ruler-55-11-a4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275112-1169216650/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-275112-1169216650 -o ROOT/results/node13/solver-275112-1169216650 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275112-1169216650/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1f9db1cd2e7ccd3afc8aaa7073d57623

RANDOM SEED= 647976074

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.247
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.247
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:       1403376 kB
Buffers:         58688 kB
Cached:         486028 kB
SwapCached:       3092 kB
Active:         268688 kB
Inactive:       307484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1403376 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            2104 kB
Writeback:           0 kB
Mapped:          40116 kB
Slab:            61136 kB
Committed_AS:  7356680 kB
PageTables:       2396 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 node13 on Fri Jan 19 15:04:15 UTC 2007