Trace number 277437

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.02 2412.63

General information on the benchmark

Nametaillard/
os-taillard-5/os-taillard-5-95-7.xml
MD5SUM62917edfa1aa81fbde16fbd2952805e0
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints96
Best CPU time to get the best result obtained on this benchmark2400.02
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables25
Number of constraints100
Maximum constraint arity2
Maximum domain size282
Number of constraints which are defined in extension0
Number of constraints which are defined in intension100
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277437-1169267178/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=25  nbDomainTypes=25  minDomainSize=191  maxDomainSize=282
0.42	       =>  wckTime=0.111  cpuTime=0.09  mem=6M910
0.42	   
0.42	   predicates being loaded...
0.43	   
0.43	   constraints being loaded...
2.09	     nbConstraints=100  nbConvertedConstraints=100  nbConvertConstraintsChecks=5415748  nbExtensionStructures=100
2.09	     nbSharedExtensionStructures=0  nbConflictsStructures=100  nbSharedConflictsStructures=0
2.09	     nbSharedBinaryRepresentations=20004  maxDegree=8  maxArity=2
2.09	       =>  wckTime=1.777  cpuTime=1.7  mem=13M736
2.14	   
2.14	   solver LocalSearchSolver being built... 
2.18	       =>  wckTime=1.866  cpuTime=1.75  mem=7M534
2.19	
2.19	s SATISFIABLE
2.19	o 73
2.19	c 27
2.19	o 75
2.19	c 25
2.19	o 77
2.19	c 23
2.20	o 78
2.20	c 22
2.20	o 79
2.20	c 21
2.20	o 81
2.20	c 19
2.20	o 82
2.20	c 18
2.20	o 85
2.20	c 15
2.20	o 87
2.20	c 13
2.20	o 88
2.20	c 12
2.21	o 90
2.21	c 10
2.21	o 91
2.21	c 9
2.21	o 93
2.21	c 7
2.39	o 94
2.39	c 6
2.58	o 95
2.58	c 5
16.64	   
16.64	   search
16.64	     run=0  nbConstraintChecks=134625580  nbAssignments=10000
16.64	       =>  wckTime=14.468  cpuTime=14.31  mem=7M534
27.02	o 96
27.02	c 4
30.89	   
30.89	   search
30.89	     run=1  nbConstraintChecks=270880030  nbAssignments=20000
30.89	       =>  wckTime=28.718  cpuTime=28.43  mem=7M534
44.94	   
44.94	   search
44.94	     run=2  nbConstraintChecks=404589773  nbAssignments=30000
44.94	       =>  wckTime=42.762  cpuTime=42.36  mem=7M534
57.30	   
57.30	   search
57.30	     run=3  nbConstraintChecks=522502621  nbAssignments=38243
57.30	       =>  wckTime=55.129  cpuTime=54.61  mem=7M534
57.31	   
57.31	   global
57.31	     nbConstraintChecks=522502621  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
57.31	     solvingWckTime=55.126  solvingCpuTime=54.6  expiredTime=no  totalExploration=no  nbFoundSolutions=0
57.31	     globalCpuTime=56.41
57.31	       =>  wckTime=56.996  cpuTime=56.35  mem=7M534
57.31	   
57.31	   solver IterativeSystematicSolver being built... 
57.44	       =>  wckTime=57.126  cpuTime=56.44  mem=17M507
57.44	   
57.44	   preprocessing
57.45	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
57.45	     detectedInconsistency=no
57.45	       =>  wckTime=0.0070  cpuTime=0.01  mem=17M507
58.76	   
58.76	   search
58.76	     run=0  nbConstraintChecks=20523571  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=440
58.76	     nbFailedAssignments=415  nbBacktracks=10  nbVisitedNodes=866  nbRestartNogoods=0
58.76	       =>  wckTime=1.322  cpuTime=1.28  mem=18M515
59.82	   
59.82	   search
59.82	     run=1  nbConstraintChecks=34786830  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=841
59.82	     nbFailedAssignments=788  nbBacktracks=25  nbVisitedNodes=1655  nbRestartNogoods=71
59.82	       =>  wckTime=2.383  cpuTime=2.33  mem=18M515
62.49	   
62.49	   search
62.49	     run=2  nbConstraintChecks=73910637  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1828
62.49	     nbFailedAssignments=1738  nbBacktracks=47  nbVisitedNodes=3614  nbRestartNogoods=108
62.49	       =>  wckTime=5.049  cpuTime=4.94  mem=18M515
65.87	   
65.87	   search
65.87	     run=3  nbConstraintChecks=125475011  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2978
65.87	     nbFailedAssignments=2840  nbBacktracks=80  nbVisitedNodes=5899  nbRestartNogoods=237
65.87	       =>  wckTime=8.427  cpuTime=8.28  mem=18M515
70.04	   
70.04	   search
70.04	     run=4  nbConstraintChecks=185266506  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4446
70.04	     nbFailedAssignments=4243  nbBacktracks=130  nbVisitedNodes=8820  nbRestartNogoods=359
70.04	       =>  wckTime=12.601  cpuTime=12.42  mem=18M515
70.81	   
70.81	   search
70.81	     run=5  nbConstraintChecks=197266935  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4820
70.81	     nbFailedAssignments=4525  nbBacktracks=205  nbVisitedNodes=9551  nbRestartNogoods=491
70.81	       =>  wckTime=13.372  cpuTime=13.18  mem=18M515
83.24	   
83.24	   search
83.24	     run=6  nbConstraintChecks=330819399  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8538
83.24	     nbFailedAssignments=8116  nbBacktracks=318  nbVisitedNodes=16973  nbRestartNogoods=532
83.24	       =>  wckTime=25.798  cpuTime=25.49  mem=18M515
120.29	   
120.29	   search
120.29	     run=7  nbConstraintChecks=778218003  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17490
120.29	     nbFailedAssignments=16885  nbBacktracks=488  nbVisitedNodes=34864  nbRestartNogoods=699
120.29	       =>  wckTime=62.848  cpuTime=62.2  mem=18M515
129.52	   
129.52	   search
129.52	     run=8  nbConstraintChecks=893910134  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20794
129.52	     nbFailedAssignments=19921  nbBacktracks=744  nbVisitedNodes=41460  nbRestartNogoods=753
129.52	       =>  wckTime=72.082  cpuTime=71.35  mem=18M515
152.66	   
152.66	   search
152.66	     run=9  nbConstraintChecks=1217867721  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32548
152.66	     nbFailedAssignments=31277  nbBacktracks=1128  nbVisitedNodes=64954  nbRestartNogoods=1053
152.66	       =>  wckTime=95.219  cpuTime=94.28  mem=18M515
176.35	   
176.35	   search
176.35	     run=10  nbConstraintChecks=1530290346  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=40391
176.35	     nbFailedAssignments=38532  nbBacktracks=1704  nbVisitedNodes=80628  nbRestartNogoods=1164
176.35	       =>  wckTime=118.914  cpuTime=117.76  mem=18M515
241.87	   
241.87	   search
241.87	     run=11  nbConstraintChecks=2476273510  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=68732
241.87	     nbFailedAssignments=65996  nbBacktracks=2568  nbVisitedNodes=137297  nbRestartNogoods=1266
241.87	       =>  wckTime=184.436  cpuTime=182.92  mem=18M515
263.70	   
263.70	   search
263.70	     run=12  nbConstraintChecks=2761170002  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=78947
263.70	     nbFailedAssignments=74902  nbBacktracks=3865  nbVisitedNodes=157715  nbRestartNogoods=1355
263.70	       =>  wckTime=206.259  cpuTime=204.65  mem=18M515
406.10	   
406.11	   search
406.11	     run=13  nbConstraintChecks=4637374018  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=118047
406.11	     nbFailedAssignments=112046  nbBacktracks=5811  nbVisitedNodes=235905  nbRestartNogoods=1464
406.11	       =>  wckTime=348.668  cpuTime=346.38  mem=18M515
546.00	   
546.00	   search
546.00	     run=14  nbConstraintChecks=6438958559  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=159745
546.00	     nbFailedAssignments=150814  nbBacktracks=8730  nbVisitedNodes=319290  nbRestartNogoods=1624
546.00	       =>  wckTime=488.565  cpuTime=485.57  mem=18M515
741.13	   
741.13	   search
741.13	     run=15  nbConstraintChecks=8796513728  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=202905
741.13	     nbFailedAssignments=189586  nbBacktracks=13108  nbVisitedNodes=405600  nbRestartNogoods=1744
741.13	       =>  wckTime=683.691  cpuTime=679.75  mem=18M515
898.35	   
898.35	   search
898.35	     run=16  nbConstraintChecks=10835474672  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=246996
898.35	     nbFailedAssignments=227101  nbBacktracks=19676  nbVisitedNodes=493741  nbRestartNogoods=1874
898.35	       =>  wckTime=840.918  cpuTime=836.21  mem=18M515
1390.62	   
1390.62	   search
1390.62	     run=17  nbConstraintChecks=17043112214  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=382405
1390.62	     nbFailedAssignments=352649  nbBacktracks=29528  nbVisitedNodes=764514  nbRestartNogoods=1878
1390.62	       =>  wckTime=1333.186  cpuTime=1326.13  mem=18M515
2011.29	   
2011.29	   search
2011.29	     run=18  nbConstraintChecks=25248603690  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=585379
2011.29	     nbFailedAssignments=540835  nbBacktracks=44306  nbVisitedNodes=1169521  nbRestartNogoods=1938
2011.29	       =>  wckTime=1953.85  cpuTime=1943.78  mem=18M515
2412.61	v 92 57 0 185 252 137 233 73 87 15 0 0 125 215 92 189 0 61 113 205 119 0 217 67 254 

Verifier Data (download as text)

4 unsatisfied constraints, 96 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/node4/watcher-277437-1169267178 -o ROOT/results/node4/solver-277437-1169267178 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277437-1169267178/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.02 2.00 4/94 31587
/proc/meminfo: memFree=1341872/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=906644 CPUtime=0.01
/proc/31586/stat : 31586 (java) S 31584 31586 29800 0 -1 0 2068 0 1 0 1 0 0 0 18 0 2 0 275113351 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 226661 1817 1036 14 0 214244 0
[pid=31586/tid=31588] ppid=31584 vsize=906644 CPUtime=0
/proc/31586/task/31588/stat : 31588 (java) R 31584 31586 29800 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 275113355 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.102622 s]
/proc/loadavg: 2.00 2.02 2.00 4/94 31587
/proc/meminfo: memFree=1341872/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=914988 CPUtime=0.07
/proc/31586/stat : 31586 (java) D 31584 31586 29800 0 -1 0 2988 0 1 0 6 1 0 0 17 0 8 0 275113351 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228747 2734 1426 14 0 215242 0
[pid=31586/tid=31588] ppid=31584 vsize=914988 CPUtime=0
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 275113355 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.51066 s]
/proc/loadavg: 2.00 2.02 2.00 4/94 31587
/proc/meminfo: memFree=1341872/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=0.48
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 6529 0 1 0 43 5 0 0 18 0 8 0 275113351 937443328 6268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072940952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 6268 2167 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 275113355 937443328 6268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915472

[startup+1.33174 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 31594
/proc/meminfo: memFree=1323320/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=1.29
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 7162 0 1 0 123 6 0 0 25 0 8 0 275113351 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073602978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 6900 2168 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 275113355 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275113355 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 275113355 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.08
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 311 0 0 0 7 1 0 0 16 0 8 0 275113358 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915472

[startup+2.97889 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 31594
/proc/meminfo: memFree=1317432/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2.93
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 8780 0 1 0 283 10 0 0 25 0 8 0 275113351 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073340880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 8517 2496 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 653 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.11
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 326 0 0 0 10 1 0 0 16 0 8 0 275113358 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915472

[startup+6.1842 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 31594
/proc/meminfo: memFree=1317304/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=6.11
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 8786 0 1 0 591 20 0 0 25 0 8 0 275113351 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073668312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 8522 2496 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 653 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.11
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 331 0 0 0 10 1 0 0 16 0 8 0 275113358 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915472

[startup+12.6548 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 31594
/proc/meminfo: memFree=1317304/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=12.51
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 8786 0 1 0 1215 36 0 0 25 0 8 0 275113351 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 8522 2496 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 653 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.11
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 331 0 0 0 10 1 0 0 16 0 8 0 275113358 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915472

[startup+25.507 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 31594
/proc/meminfo: memFree=1317368/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=25.25
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 8788 0 1 0 2452 73 0 0 25 0 8 0 275113351 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 8524 2496 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 653 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.12
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 333 0 0 0 11 1 0 0 16 0 8 0 275113358 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915472

[startup+51.1175 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 31594
/proc/meminfo: memFree=1317432/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=50.62
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 8789 0 1 0 4916 146 0 0 25 0 8 0 275113351 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 8525 2496 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 653 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.12
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 334 0 0 0 11 1 0 0 16 0 8 0 275113358 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 8525 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915472

[startup+102.352 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 31594
/proc/meminfo: memFree=1314808/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=101.39
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9501 0 1 0 9976 163 0 0 25 0 8 0 275113351 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31586/statm: 228868 9229 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.23
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 389 0 0 0 21 2 0 0 15 0 8 0 275113358 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9229 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915472

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

Current children cumulated CPU time (s) 2012.9
Current children cumulated vsize (KiB) 915472

[startup+2083.52 s]
/proc/loadavg: 2.24 2.05 2.02 3/106 31714
/proc/meminfo: memFree=1294928/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2072.64
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 207090 174 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.64
Current children cumulated vsize (KiB) 915472

[startup+2143.58 s]
/proc/loadavg: 2.09 2.04 2.01 3/106 31858
/proc/meminfo: memFree=1294864/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2132.29
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 213045 184 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.29
Current children cumulated vsize (KiB) 915472

[startup+2203.62 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 31886
/proc/meminfo: memFree=1295864/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2192.03
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 219017 186 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073662192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.03
Current children cumulated vsize (KiB) 915472

[startup+2263.65 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 31886
/proc/meminfo: memFree=1295864/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2251.78
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 224992 186 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.78
Current children cumulated vsize (KiB) 915472

[startup+2323.68 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 31886
/proc/meminfo: memFree=1295864/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2311.51
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 230964 187 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.51
Current children cumulated vsize (KiB) 915472

[startup+2383.71 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 31886
/proc/meminfo: memFree=1295864/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2371.26
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 236939 187 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.26
Current children cumulated vsize (KiB) 915472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.61 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 31886
/proc/meminfo: memFree=1295928/2055920 swapFree=4182144/4192956
[pid=31586] ppid=31584 vsize=915472 CPUtime=2400
/proc/31586/stat : 31586 (java) R 31584 31586 29800 0 -1 0 9554 0 1 0 239813 187 0 0 25 0 8 0 275113351 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31586/statm: 228868 9281 2544 14 0 215338 0
[pid=31586/tid=31588] ppid=31584 vsize=915472 CPUtime=0.03
/proc/31586/task/31588/stat : 31588 (java) S 31584 31586 29800 0 -1 64 654 0 0 0 3 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31589] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31589/stat : 31589 (java) S 31584 31586 29800 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31590] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31590/stat : 31590 (java) S 31584 31586 29800 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275113355 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31591] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31591/stat : 31591 (java) S 31584 31586 29800 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31592] ppid=31584 vsize=915472 CPUtime=0.24
/proc/31586/task/31592/stat : 31592 (java) S 31584 31586 29800 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31586/tid=31593] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31593/stat : 31593 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275113358 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31586/tid=31594] ppid=31584 vsize=915472 CPUtime=0
/proc/31586/task/31594/stat : 31594 (java) S 31584 31586 29800 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275113359 937443328 9281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915472

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

Child status: 143
Real time (s): 2412.63
CPU time (s): 2400.02
CPU user time (s): 2398.14
CPU system time (s): 1.87671
CPU usage (%): 99.4775
Max. virtual memory (cumulated for all children) (KiB): 915476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.14
system time used= 1.87671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9581
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= 49920
involuntary context switches= 90055

runsolver used 2.52162 s user time and 6.93394 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan 20 04:26:18 UTC 2007


IDJOB= 277437
IDBENCH= 6707
IDSOLVER= 69
FILE ID= node4/277437-1169267178

PBS_JOBID= 3607269

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  62917edfa1aa81fbde16fbd2952805e0

RANDOM SEED= 708100671

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.223
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.223
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:       1342352 kB
Buffers:         65012 kB
Cached:         512440 kB
SwapCached:       2180 kB
Active:         205560 kB
Inactive:       425248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1342352 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            1692 kB
Writeback:           0 kB
Mapped:          71084 kB
Slab:            67368 kB
Committed_AS:  7680192 kB
PageTables:       2508 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= 66561 MiB



End job on node4 on Sat Jan 20 05:06:31 UTC 2007