Trace number 233995

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.13 1801.98

General information on the benchmark

Nametaillard/
os-taillard-7/os-taillard-7-95-6.xml
MD5SUM019f8abe20a7cd1b8d6c7abc45fb5a20
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.106982
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size397
Number of constraints which are defined in extension0
Number of constraints which are defined in intension294
Global constraints used (with number of constraints)

Solver Data (download as text)

0.28	   
0.28	Abscon 109 (November, 2006)
0.28	   
0.28	   configuration
0.28	     name=mac.xml
0.31	   
0.31	   instance
0.31	     name=/tmp/evaluation/233995-1168081424/unknown.xml
0.34	   
0.34	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=49  nbDomainTypes=49  minDomainSize=303  maxDomainSize=397
0.39	       =>  wckTime=0.105  cpuTime=0.1  mem=7M879
0.39	   
0.39	   predicates being loaded...
0.40	   
0.40	   constraints being loaded...
4.32	   
4.32	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 20M116)
4.36	     nbConstraints=294  nbConvertedConstraints=123  nbConvertConstraintsChecks=14707122  nbExtensionStructures=123
4.36	     nbSharedExtensionStructures=0  nbConflictsStructures=123  nbSharedConflictsStructures=0
4.36	     nbSharedBinaryRepresentations=23592  nbEvaluationManagers=171  nbSharedEvaluationManagers=0  maxDegree=12
4.36	     maxArity=2
4.36	       =>  wckTime=4.075  cpuTime=3.99  mem=22M66
4.42	   
4.42	   solver IterativeSystematicSolver being built... 
4.57	       =>  wckTime=4.288  cpuTime=4.12  mem=21M55
5.18	   
5.18	   preprocessing
5.18	     nbConstraintChecks=1647315  nbValidityChecks=12195  nbPropagations=49  nbRevisions=342  nbUselessRevisions=342
5.18	     nbRemovedValues=0  detectedInconsistency=no
5.18	       =>  wckTime=0.599  cpuTime=0.59  mem=21M55
6.50	   
6.50	   search
6.50	     run=0  nbConstraintChecks=3459971  nbValidityChecks=1315410  nbPropagations=923  nbRevisions=6092
6.50	     nbUselessRevisions=3884  nbAssignments=168  nbFailedAssignments=155  nbBacktracks=10  nbVisitedNodes=334
6.50	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
6.50	       =>  wckTime=1.923  cpuTime=1.89  mem=21M55
10.58	   
10.58	   search
10.58	     run=1  nbConstraintChecks=16763880  nbValidityChecks=3808946  nbPropagations=4828  nbRevisions=31081
10.58	     nbUselessRevisions=18091  nbAssignments=730  nbFailedAssignments=692  nbBacktracks=25  nbVisitedNodes=1445
10.58	     nbRestartNogoods=68  mapSize=23  nbInferences=0  nbTooLargeKeys=0
10.58	       =>  wckTime=6.0  cpuTime=5.95  mem=21M55
13.88	   
13.88	   search
13.88	     run=2  nbConstraintChecks=26632627  nbValidityChecks=8248900  nbPropagations=11130  nbRevisions=73257
13.88	     nbUselessRevisions=44463  nbAssignments=1059  nbFailedAssignments=996  nbBacktracks=47  nbVisitedNodes=2100
13.88	     nbRestartNogoods=106  mapSize=45  nbInferences=0  nbTooLargeKeys=0
13.88	       =>  wckTime=9.303  cpuTime=9.25  mem=21M55
19.86	   
19.86	   search
19.86	     run=3  nbConstraintChecks=44051800  nbValidityChecks=15574366  nbPropagations=22393  nbRevisions=149841
19.86	     nbUselessRevisions=90807  nbAssignments=2228  nbFailedAssignments=2130  nbBacktracks=80  nbVisitedNodes=4436
19.86	     nbRestartNogoods=120  mapSize=78  nbInferences=0  nbTooLargeKeys=0
19.86	       =>  wckTime=15.282  cpuTime=15.18  mem=21M55
51.89	   
51.89	   search
51.89	     run=4  nbConstraintChecks=139514536  nbValidityChecks=62533380  nbPropagations=57873  nbRevisions=402461
51.89	     nbUselessRevisions=262799  nbAssignments=5475  nbFailedAssignments=5325  nbBacktracks=130  nbVisitedNodes=10928
51.89	     nbRestartNogoods=141  mapSize=128  nbInferences=0  nbTooLargeKeys=0
51.89	       =>  wckTime=47.314  cpuTime=47.19  mem=22M30
61.48	   
61.48	   search
61.48	     run=5  nbConstraintChecks=167832111  nbValidityChecks=79415678  nbPropagations=104213  nbRevisions=731984
61.48	     nbUselessRevisions=482343  nbAssignments=7683  nbFailedAssignments=7456  nbBacktracks=205  nbVisitedNodes=15342
61.48	     nbRestartNogoods=168  mapSize=203  nbInferences=0  nbTooLargeKeys=0
61.48	       =>  wckTime=56.898  cpuTime=56.77  mem=22M30
79.87	   
79.87	   search
79.87	     run=6  nbConstraintChecks=222316518  nbValidityChecks=113955136  nbPropagations=170325  nbRevisions=1200677
79.87	     nbUselessRevisions=797772  nbAssignments=10467  nbFailedAssignments=10125  nbBacktracks=318  nbVisitedNodes=20908
79.87	     nbRestartNogoods=260  mapSize=316  nbInferences=0  nbTooLargeKeys=0
79.87	       =>  wckTime=75.295  cpuTime=75.13  mem=22M30
107.46	   
107.46	   search
107.46	     run=7  nbConstraintChecks=306723506  nbValidityChecks=154786016  nbPropagations=262391  nbRevisions=1850977
107.46	     nbUselessRevisions=1225670  nbAssignments=15657  nbFailedAssignments=15143  nbBacktracks=488  nbVisitedNodes=31282
107.46	     nbRestartNogoods=285  mapSize=482  nbInferences=0  nbTooLargeKeys=0
107.46	       =>  wckTime=102.881  cpuTime=102.68  mem=22M30
251.23	   
251.23	   search
251.23	     run=8  nbConstraintChecks=732922752  nbValidityChecks=366802331  nbPropagations=464518  nbRevisions=3298051
251.23	     nbUselessRevisions=2237266  nbAssignments=28405  nbFailedAssignments=27633  nbBacktracks=744  nbVisitedNodes=56774
251.23	     nbRestartNogoods=449  mapSize=737  nbInferences=0  nbTooLargeKeys=0
251.23	       =>  wckTime=246.653  cpuTime=246.32  mem=23M5
289.03	   
289.03	   INFO : Stopping hyperNogood (mapSize=1038, nbTooLargekeys=0, mem=23M5)
299.72	   
299.72	   search
299.72	     run=9  nbConstraintChecks=876433251  nbValidityChecks=453607733  nbPropagations=723089  nbRevisions=5142210
299.72	     nbUselessRevisions=3490852  nbAssignments=40137  nbFailedAssignments=38979  nbBacktracks=1128  nbVisitedNodes=80231
299.72	     nbRestartNogoods=609
299.72	       =>  wckTime=295.144  cpuTime=294.76  mem=23M5
377.79	   
377.79	   search
377.79	     run=10  nbConstraintChecks=1110838783  nbValidityChecks=614064219  nbPropagations=1074245  nbRevisions=7642045
377.79	     nbUselessRevisions=5202006  nbAssignments=52520  nbFailedAssignments=50784  nbBacktracks=1704
377.79	     nbVisitedNodes=104985  nbRestartNogoods=638
377.79	       =>  wckTime=373.212  cpuTime=372.73  mem=23M5
639.58	   
639.59	   search
639.59	     run=11  nbConstraintChecks=1893433063  nbValidityChecks=1092813943  nbPropagations=1685980  nbRevisions=11978490
639.59	     nbUselessRevisions=8240686  nbAssignments=82977  nbFailedAssignments=80375  nbBacktracks=2568
639.59	     nbVisitedNodes=165884  nbRestartNogoods=672
639.59	       =>  wckTime=635.007  cpuTime=634.28  mem=23M5
905.01	   
905.01	   search
905.01	     run=12  nbConstraintChecks=2689086100  nbValidityChecks=1514269733  nbPropagations=2534579  nbRevisions=18037937
905.01	     nbUselessRevisions=12478127  nbAssignments=116930  nbFailedAssignments=113029  nbBacktracks=3865
905.01	     nbVisitedNodes=233784  nbRestartNogoods=838
905.01	       =>  wckTime=900.431  cpuTime=899.41  mem=23M5
1167.95	   
1167.95	   search
1167.95	     run=13  nbConstraintChecks=3477706922  nbValidityChecks=2073385695  nbPropagations=3708707  nbRevisions=26457390
1167.95	     nbUselessRevisions=18327874  nbAssignments=165572  nbFailedAssignments=159723  nbBacktracks=5811
1167.95	     nbVisitedNodes=331032  nbRestartNogoods=879
1167.95	       =>  wckTime=1163.375  cpuTime=1162.09  mem=23M5
1446.78	   
1446.78	   search
1446.78	     run=14  nbConstraintChecks=4315993853  nbValidityChecks=2805753503  nbPropagations=5311384  nbRevisions=37946545
1446.78	     nbUselessRevisions=26282585  nbAssignments=228116  nbFailedAssignments=219346  nbBacktracks=8730
1446.78	     nbVisitedNodes=456037  nbRestartNogoods=1092
1446.78	       =>  wckTime=1442.199  cpuTime=1440.63  mem=23M5

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-233995-1168081424 -o ROOT/results/node45/solver-233995-1168081424 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233995-1168081424/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.57 1.39 1.11 4/80 24080
/proc/meminfo: memFree=1304344/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=1788 CPUtime=0
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 156541392 1830912 159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24079/statm: 447 159 123 14 0 92 0

[startup+0.107591 s]
/proc/loadavg: 1.57 1.39 1.11 4/80 24080
/proc/meminfo: memFree=1304344/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=914988 CPUtime=0.09
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 3128 0 1 0 8 1 0 0 24 0 8 0 156541392 936947712 2874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228747 2875 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515665 s]
/proc/loadavg: 1.57 1.39 1.11 4/80 24080
/proc/meminfo: memFree=1304344/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=0.5
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 6897 0 1 0 46 4 0 0 25 0 8 0 156541392 937431040 6636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072930428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 6636 2166 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460

[startup+1.33882 s]
/proc/loadavg: 1.57 1.39 1.11 3/87 24087
/proc/meminfo: memFree=1284448/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1.32
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 7475 0 1 0 127 5 0 0 25 0 8 0 156541392 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641959 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 7213 2167 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156541395 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156541396 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156541396 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.09
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 323 0 0 0 9 0 0 0 16 0 8 0 156541399 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460

[startup+2.98111 s]
/proc/loadavg: 1.60 1.40 1.11 3/87 24087
/proc/meminfo: memFree=1281312/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=2.97
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 8518 0 1 0 291 6 0 0 25 0 8 0 156541392 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073643111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 8256 2167 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156541395 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156541396 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156541396 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.09
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 326 0 0 0 9 0 0 0 16 0 8 0 156541399 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 8256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915460

[startup+6.27171 s]
/proc/loadavg: 1.60 1.40 1.11 3/87 24087
/proc/meminfo: memFree=1267808/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=6.25
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11814 0 1 0 616 9 0 0 25 0 8 0 156541392 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11550 2531 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1538 0 0 0 4 0 0 0 17 0 8 0 156541395 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.19
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 379 0 0 0 18 1 0 0 15 0 8 0 156541399 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11550 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460

[startup+12.7539 s]
/proc/loadavg: 1.66 1.42 1.12 3/87 24087
/proc/meminfo: memFree=1267808/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=12.73
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11831 0 1 0 1264 9 0 0 25 0 8 0 156541392 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11562 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 17 0 8 0 156541395 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.2
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 388 0 0 0 19 1 0 0 15 0 8 0 156541399 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11562 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915460

[startup+25.6072 s]
/proc/loadavg: 1.71 1.44 1.13 3/87 24087
/proc/meminfo: memFree=1267744/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=25.56
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11847 0 1 0 2547 9 0 0 25 0 8 0 156541392 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816941 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11575 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.23
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460

[startup+51.2219 s]
/proc/loadavg: 1.81 1.48 1.15 3/87 24087
/proc/meminfo: memFree=1267744/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=51.15
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11847 0 1 0 5106 9 0 0 25 0 8 0 156541392 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11575 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.23
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915460

[startup+102.449 s]
/proc/loadavg: 1.92 1.56 1.19 3/87 24087
/proc/meminfo: memFree=1267680/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=102.34
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11850 0 1 0 10224 10 0 0 25 0 8 0 156541392 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11576 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.23
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 156541399 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 915460

[startup+162.543 s]
/proc/loadavg: 1.97 1.64 1.24 3/87 24087
/proc/meminfo: memFree=1267744/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=162.36
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11852 0 1 0 16226 10 0 0 25 0 8 0 156541392 937431040 11577 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.9
Current children cumulated vsize (KiB) 915460

[startup+1484.39 s]
/proc/loadavg: 2.01 2.01 1.80 4/87 24089
/proc/meminfo: memFree=1267624/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1482.85
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 148273 12 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.85
Current children cumulated vsize (KiB) 915460

[startup+1544.48 s]
/proc/loadavg: 2.00 2.00 1.81 3/87 24089
/proc/meminfo: memFree=1267624/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1542.89
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 154277 12 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.89
Current children cumulated vsize (KiB) 915460

[startup+1604.57 s]
/proc/loadavg: 2.00 2.00 1.82 3/87 24089
/proc/meminfo: memFree=1267624/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1602.9
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 160278 12 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.9
Current children cumulated vsize (KiB) 915460

[startup+1664.67 s]
/proc/loadavg: 2.12 2.04 1.84 3/87 24089
/proc/meminfo: memFree=1267624/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1662.94
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 166282 12 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.94
Current children cumulated vsize (KiB) 915460

[startup+1724.68 s]
/proc/loadavg: 2.04 2.03 1.85 3/87 24089
/proc/meminfo: memFree=1267624/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1722.9
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 172278 12 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.9
Current children cumulated vsize (KiB) 915460

[startup+1784.69 s]
/proc/loadavg: 1.99 2.02 1.85 2/75 24100
/proc/meminfo: memFree=1371976/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1782.84
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 178271 13 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.84
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.95 s]
/proc/loadavg: 1.77 1.97 1.84 2/75 24101
/proc/meminfo: memFree=1371528/2055920 swapFree=4184004/4192956
[pid=24079] ppid=24077 vsize=915460 CPUtime=1800.1
/proc/24079/stat : 24079 (java) R 24077 24079 23514 0 -1 0 11856 0 1 0 179997 13 0 0 25 0 8 0 156541392 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640758 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24079/statm: 228865 11581 2534 14 0 215335 0
[pid=24079/tid=24081] ppid=24077 vsize=915460 CPUtime=0.04
/proc/24079/task/24081/stat : 24081 (java) S 24077 24079 23514 0 -1 64 1539 0 0 0 4 0 0 0 16 0 8 0 156541395 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24082] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24082/stat : 24082 (java) S 24077 24079 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24083] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24083/stat : 24083 (java) S 24077 24079 23514 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156541396 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24084] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24084/stat : 24084 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24085] ppid=24077 vsize=915460 CPUtime=0.24
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23514 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24086] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24086/stat : 24086 (java) S 24077 24079 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24079/tid=24087] ppid=24077 vsize=915460 CPUtime=0
/proc/24079/task/24087/stat : 24087 (java) S 24077 24079 23514 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156541399 937431040 11581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1801.98
CPU time (s): 1800.13
CPU user time (s): 1799.99
CPU system time (s): 0.139978
CPU usage (%): 99.8974
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11872
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= 37723
involuntary context switches= 44348

runsolver used 1.88571 s user time and 6.07408 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan  6 11:03:44 UTC 2007


IDJOB= 233995
IDBENCH= 6651
FILE ID= node45/233995-1168081424

PBS_JOBID= 3476182

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233995-1168081424/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-233995-1168081424 -o ROOT/results/node45/solver-233995-1168081424 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/233995-1168081424/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  019f8abe20a7cd1b8d6c7abc45fb5a20

RANDOM SEED= 562042627

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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.259
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:       1304760 kB
Buffers:         49428 kB
Cached:         512972 kB
SwapCached:       2748 kB
Active:         158760 kB
Inactive:       519940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1304760 kB
SwapTotal:     4192956 kB
SwapFree:      4184004 kB
Dirty:            1812 kB
Writeback:           0 kB
Mapped:         132408 kB
Slab:            57716 kB
Committed_AS:  3511532 kB
PageTables:       1996 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= 66543 MiB



End job on node45 on Sat Jan  6 11:33:48 UTC 2007