Trace number 234050

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.11 1814.07

General information on the benchmark

Nametaillard/os-taillard-7/
os-taillard-7-100-1.xml
MD5SUMafb5d8334ceaf84164b5722ab3a14fda
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.638902
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables49
Number of constraints294
Maximum constraint arity2
Maximum domain size441
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/234050-1168081433/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=49  nbDomainTypes=49  minDomainSize=347  maxDomainSize=441
0.40	       =>  wckTime=0.105  cpuTime=0.1  mem=7M879
0.40	   
0.40	   predicates being loaded...
0.40	   
0.40	   constraints being loaded...
4.39	   
4.39	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 19M524)
4.44	     nbConstraints=294  nbConvertedConstraints=99  nbConvertConstraintsChecks=14780408  nbExtensionStructures=99
4.44	     nbSharedExtensionStructures=0  nbConflictsStructures=99  nbSharedConflictsStructures=0
4.44	     nbSharedBinaryRepresentations=23654  nbEvaluationManagers=195  nbSharedEvaluationManagers=0  maxDegree=12
4.44	     maxArity=2
4.44	       =>  wckTime=4.147  cpuTime=4.03  mem=21M474
4.50	   
4.50	   solver IterativeSystematicSolver being built... 
4.66	       =>  wckTime=4.364  cpuTime=4.16  mem=20M822
5.36	   
5.36	   preprocessing
5.36	     nbConstraintChecks=1907510  nbValidityChecks=14065  nbPropagations=49  nbRevisions=390  nbUselessRevisions=390
5.36	     nbRemovedValues=0  detectedInconsistency=no
5.36	       =>  wckTime=0.697  cpuTime=0.68  mem=20M822
8.10	   
8.10	   search
8.10	     run=0  nbConstraintChecks=9075401  nbValidityChecks=2541174  nbPropagations=3745  nbRevisions=27378
8.10	     nbUselessRevisions=17135  nbAssignments=670  nbFailedAssignments=632  nbBacktracks=10  nbVisitedNodes=1318
8.10	     nbRestartNogoods=0  mapSize=10  nbInferences=6  nbTooLargeKeys=0
8.10	       =>  wckTime=3.435  cpuTime=3.35  mem=21M798
11.09	   
11.09	   search
11.09	     run=1  nbConstraintChecks=19152200  nbValidityChecks=4115439  nbPropagations=9164  nbRevisions=69733
11.09	     nbUselessRevisions=44008  nbAssignments=864  nbFailedAssignments=789  nbBacktracks=25  nbVisitedNodes=1680
11.09	     nbRestartNogoods=7  mapSize=23  nbInferences=6  nbTooLargeKeys=0
11.09	       =>  wckTime=6.424  cpuTime=6.32  mem=21M798
15.85	   
15.85	   search
15.85	     run=2  nbConstraintChecks=35574975  nbValidityChecks=8513587  nbPropagations=20862  nbRevisions=172817
15.85	     nbUselessRevisions=110335  nbAssignments=1361  nbFailedAssignments=1249  nbBacktracks=47  nbVisitedNodes=2650
15.85	     nbRestartNogoods=57  mapSize=42  nbInferences=6  nbTooLargeKeys=0
15.85	       =>  wckTime=11.187  cpuTime=11.03  mem=21M798
17.52	   
17.52	   search
17.52	     run=3  nbConstraintChecks=41756017  nbValidityChecks=10334973  nbPropagations=34573  nbRevisions=291465
17.52	     nbUselessRevisions=185863  nbAssignments=1679  nbFailedAssignments=1520  nbBacktracks=81  nbVisitedNodes=3272
17.52	     nbRestartNogoods=96  mapSize=76  nbInferences=6  nbTooLargeKeys=0
17.52	       =>  wckTime=12.858  cpuTime=12.67  mem=21M798
43.99	   
43.99	   search
43.99	     run=4  nbConstraintChecks=160078920  nbValidityChecks=30418968  nbPropagations=71914  nbRevisions=636018
43.99	     nbUselessRevisions=401360  nbAssignments=5599  nbFailedAssignments=5380  nbBacktracks=132  nbVisitedNodes=11095
43.99	     nbRestartNogoods=130  mapSize=121  nbInferences=6  nbTooLargeKeys=0
43.99	       =>  wckTime=39.328  cpuTime=38.95  mem=21M798
51.89	   
51.89	   search
51.89	     run=5  nbConstraintChecks=187776935  nbValidityChecks=41521210  nbPropagations=119311  nbRevisions=1069899
51.89	     nbUselessRevisions=679446  nbAssignments=6804  nbFailedAssignments=6494  nbBacktracks=207  nbVisitedNodes=13464
51.89	     nbRestartNogoods=179  mapSize=185  nbInferences=6  nbTooLargeKeys=0
51.89	       =>  wckTime=47.23  cpuTime=46.77  mem=21M798
71.22	   
71.22	   search
71.22	     run=6  nbConstraintChecks=253652601  nbValidityChecks=90372691  nbPropagations=211424  nbRevisions=1865223
71.22	     nbUselessRevisions=1226411  nbAssignments=11618  nbFailedAssignments=11184  nbBacktracks=320  nbVisitedNodes=23078
71.22	     nbRestartNogoods=185  mapSize=298  nbInferences=6  nbTooLargeKeys=0
71.22	       =>  wckTime=66.56  cpuTime=65.94  mem=21M798
82.26	   
82.26	   search
82.26	     run=7  nbConstraintChecks=289041961  nbValidityChecks=110592803  nbPropagations=318831  nbRevisions=2778515
82.26	     nbUselessRevisions=1854464  nbAssignments=14019  nbFailedAssignments=13406  nbBacktracks=493  nbVisitedNodes=27824
82.26	     nbRestartNogoods=305  mapSize=439  nbInferences=6  nbTooLargeKeys=0
82.26	       =>  wckTime=77.602  cpuTime=76.9  mem=22M773
93.27	   
93.27	   search
93.27	     run=8  nbConstraintChecks=327026946  nbValidityChecks=125713430  nbPropagations=441611  nbRevisions=3833618
93.27	     nbUselessRevisions=2579761  nbAssignments=15675  nbFailedAssignments=14790  nbBacktracks=751  nbVisitedNodes=31037
93.27	     nbRestartNogoods=331  mapSize=655  nbInferences=9  nbTooLargeKeys=0
93.27	       =>  wckTime=88.606  cpuTime=87.8  mem=22M773
122.12	   
122.13	   search
122.13	     run=9  nbConstraintChecks=449869691  nbValidityChecks=161990242  nbPropagations=612727  nbRevisions=5363522
122.13	     nbUselessRevisions=3626944  nbAssignments=19522  nbFailedAssignments=18239  nbBacktracks=1135  nbVisitedNodes=38658
122.13	     nbRestartNogoods=438  mapSize=1025  nbInferences=9  nbTooLargeKeys=0
122.13	       =>  wckTime=117.463  cpuTime=116.43  mem=23M748
144.83	   
144.83	   search
144.83	     run=10  nbConstraintChecks=525085459  nbValidityChecks=213782806  nbPropagations=834047  nbRevisions=7255299
144.83	     nbUselessRevisions=4946807  nbAssignments=27198  nbFailedAssignments=25325  nbBacktracks=1711  nbVisitedNodes=53964
144.83	     nbRestartNogoods=481  mapSize=1598  nbInferences=9  nbTooLargeKeys=0
144.83	       =>  wckTime=140.168  cpuTime=138.95  mem=24M723
171.06	   
171.06	   INFO : Stopping hyperNogood (mapSize=1819, nbTooLargekeys=0, mem=25M699)
238.20	   
238.20	   search
238.20	     run=11  nbConstraintChecks=892420019  nbValidityChecks=399365343  nbPropagations=1237777  nbRevisions=10648981
238.20	     nbUselessRevisions=7276208  nbAssignments=51055  nbFailedAssignments=48306  nbBacktracks=2575
238.20	     nbVisitedNodes=101430  nbRestartNogoods=627
238.20	       =>  wckTime=233.539  cpuTime=231.57  mem=25M699
427.63	   
427.63	   search
427.63	     run=12  nbConstraintChecks=1507853111  nbValidityChecks=730086269  nbPropagations=1822732  nbRevisions=15439842
427.63	     nbUselessRevisions=10550450  nbAssignments=80931  nbFailedAssignments=76872  nbBacktracks=3872
427.63	     nbVisitedNodes=161130  nbRestartNogoods=648
427.63	       =>  wckTime=422.968  cpuTime=419.47  mem=25M699
829.86	   
829.86	   search
829.86	     run=13  nbConstraintChecks=3423903349  nbValidityChecks=1282994337  nbPropagations=2940853  nbRevisions=25236650
829.86	     nbUselessRevisions=17087832  nbAssignments=139953  nbFailedAssignments=133936  nbBacktracks=5818
829.86	     nbVisitedNodes=279063  nbRestartNogoods=873
829.86	       =>  wckTime=825.196  cpuTime=818.4  mem=25M699
934.69	   
934.69	   search
934.69	     run=14  nbConstraintChecks=3797873334  nbValidityChecks=1490809598  nbPropagations=4308305  nbRevisions=37131027
934.69	     nbUselessRevisions=25104538  nbAssignments=169182  nbFailedAssignments=160231  nbBacktracks=8738
934.69	     nbVisitedNodes=336906  nbRestartNogoods=951
934.69	       =>  wckTime=930.026  cpuTime=922.36  mem=25M699
1165.70	   
1165.70	   search
1165.70	     run=15  nbConstraintChecks=4761006649  nbValidityChecks=1825877396  nbPropagations=6016616  nbRevisions=52090190
1165.70	     nbUselessRevisions=35089868  nbAssignments=219293  nbFailedAssignments=205955  nbBacktracks=13116
1165.70	     nbVisitedNodes=435487  nbRestartNogoods=1009
1165.70	       =>  wckTime=1161.041  cpuTime=1151.49  mem=25M699
1472.45	   
1472.45	   search
1472.45	     run=16  nbConstraintChecks=5927124275  nbValidityChecks=2198082625  nbPropagations=8196943  nbRevisions=70855646
1472.45	     nbUselessRevisions=47490344  nbAssignments=294625  nbFailedAssignments=274705  nbBacktracks=19684
1472.45	     nbVisitedNodes=584705  nbRestartNogoods=1180
1472.45	       =>  wckTime=1467.79  cpuTime=1455.71  mem=25M699

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/node75/watcher-234050-1168081433 -o ROOT/results/node75/solver-234050-1168081433 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/234050-1168081433/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.41 1.07 0.94 3/80 24592
/proc/meminfo: memFree=1554240/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=906644 CPUtime=0.02
/proc/24591/stat : 24591 (java) S 24589 24591 24468 0 -1 0 2069 0 1 0 1 1 0 0 19 0 2 0 156542670 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 226661 1818 1036 14 0 214244 0
[pid=24591/tid=24593] ppid=24589 vsize=906644 CPUtime=0
/proc/24591/task/24593/stat : 24593 (java) R 24589 24591 24468 0 -1 64 4 0 0 0 0 0 0 0 20 0 2 0 156542674 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 0 0 0

[startup+0.102608 s]
/proc/loadavg: 1.41 1.07 0.94 3/80 24592
/proc/meminfo: memFree=1554240/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=914988 CPUtime=0.09
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 3072 0 1 0 8 1 0 0 24 0 8 0 156542670 936947712 2818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155840590 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228747 2818 1453 14 0 215242 0
[pid=24591/tid=24593] ppid=24589 vsize=914988 CPUtime=0
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 7 0 0 0 0 0 0 0 19 0 8 0 156542674 936947712 2818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510657 s]
/proc/loadavg: 1.41 1.07 0.94 3/80 24592
/proc/meminfo: memFree=1554240/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=0.49
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 6903 0 1 0 45 4 0 0 25 0 8 0 156542670 937431040 6642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 6642 2165 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 7 0 0 0 0 0 0 0 19 0 8 0 156542674 937431040 6642 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.33275 s]
/proc/loadavg: 1.54 1.10 0.95 3/87 24599
/proc/meminfo: memFree=1534728/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1.3
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 7367 0 1 0 126 4 0 0 25 0 8 0 156542670 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 7105 2167 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 156542674 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156542674 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156542674 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.1
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 323 0 0 0 10 0 0 0 16 0 8 0 156542677 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 7105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98494 s]
/proc/loadavg: 1.54 1.10 0.95 3/87 24599
/proc/meminfo: memFree=1532040/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=2.92
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 8358 0 1 0 287 5 0 0 25 0 8 0 156542670 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 8096 2167 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156542674 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156542674 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.1
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 325 0 0 0 10 0 0 0 16 0 8 0 156542677 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 8096 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.26533 s]
/proc/loadavg: 1.58 1.12 0.96 3/87 24599
/proc/meminfo: memFree=1518856/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=6.18
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11575 0 1 0 610 8 0 0 25 0 8 0 156542670 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647646 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11311 2531 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1453 0 0 0 4 0 0 0 17 0 8 0 156542674 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.19
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 378 0 0 0 18 1 0 0 15 0 8 0 156542677 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) R 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460

[startup+12.7521 s]
/proc/loadavg: 1.61 1.13 0.96 3/87 24599
/proc/meminfo: memFree=1518856/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=12.61
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11593 0 1 0 1253 8 0 0 25 0 8 0 156542670 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11324 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.2
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 391 0 0 0 19 1 0 0 15 0 8 0 156542677 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11324 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460

[startup+25.5876 s]
/proc/loadavg: 1.67 1.16 0.98 3/87 24599
/proc/meminfo: memFree=1518856/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=25.34
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11608 0 1 0 2526 8 0 0 25 0 8 0 156542670 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11337 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.23
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 406 0 0 0 22 1 0 0 16 0 8 0 156542677 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460

[startup+51.2836 s]
/proc/loadavg: 1.80 1.24 1.01 3/87 24599
/proc/meminfo: memFree=1518792/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=50.83
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11610 0 1 0 5074 9 0 0 25 0 8 0 156542670 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11338 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.23
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 407 0 0 0 22 1 0 0 16 0 8 0 156542677 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915460

[startup+102.578 s]
/proc/loadavg: 1.91 1.36 1.06 3/87 24599
/proc/meminfo: memFree=1518728/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=101.72
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11612 0 1 0 10163 9 0 0 25 0 8 0 156542670 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641330 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11339 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.23
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 408 0 0 0 22 1 0 0 16 0 8 0 156542677 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915460

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

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

[startup+1483.26 s]
/proc/loadavg: 2.00 1.99 1.76 3/87 24601
/proc/meminfo: memFree=1517968/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1471.13
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 147102 11 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.13
Current children cumulated vsize (KiB) 915460

[startup+1543.29 s]
/proc/loadavg: 2.00 1.99 1.77 3/87 24601
/proc/meminfo: memFree=1517904/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1530.65
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 153054 11 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.65
Current children cumulated vsize (KiB) 915460

[startup+1603.32 s]
/proc/loadavg: 2.00 1.99 1.78 3/87 24601
/proc/meminfo: memFree=1517904/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1590.18
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 159007 11 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644411 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.18
Current children cumulated vsize (KiB) 915460

[startup+1663.35 s]
/proc/loadavg: 2.00 1.99 1.79 3/87 24601
/proc/meminfo: memFree=1517904/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1649.72
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 164961 11 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.72
Current children cumulated vsize (KiB) 915460

[startup+1723.38 s]
/proc/loadavg: 1.49 1.85 1.76 2/75 24670
/proc/meminfo: memFree=1673016/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1709.54
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 170941 13 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.54
Current children cumulated vsize (KiB) 915460

[startup+1783.41 s]
/proc/loadavg: 1.38 1.74 1.72 4/87 24771
/proc/meminfo: memFree=876696/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1769.47
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 176931 16 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.47
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.01 s]
/proc/loadavg: 1.23 1.67 1.70 2/75 24781
/proc/meminfo: memFree=1665464/2055920 swapFree=4184496/4192956
[pid=24591] ppid=24589 vsize=915460 CPUtime=1800.06
/proc/24591/stat : 24591 (java) R 24589 24591 24468 0 -1 0 11618 0 1 0 179990 16 0 0 25 0 8 0 156542670 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24591/statm: 228865 11343 2534 14 0 215335 0
[pid=24591/tid=24593] ppid=24589 vsize=915460 CPUtime=0.04
/proc/24591/task/24593/stat : 24593 (java) S 24589 24591 24468 0 -1 64 1454 0 0 0 4 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24594] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24594/stat : 24594 (java) S 24589 24591 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24595] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24595/stat : 24595 (java) S 24589 24591 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156542674 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24596] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24596/stat : 24596 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24597] ppid=24589 vsize=915460 CPUtime=0.24
/proc/24591/task/24597/stat : 24597 (java) S 24589 24591 24468 0 -1 64 412 0 0 0 23 1 0 0 16 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24598] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24598/stat : 24598 (java) S 24589 24591 24468 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24591/tid=24599] ppid=24589 vsize=915460 CPUtime=0
/proc/24591/task/24599/stat : 24599 (java) S 24589 24591 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156542677 937431040 11343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1814.07
CPU time (s): 1800.11
CPU user time (s): 1799.94
CPU system time (s): 0.168974
CPU usage (%): 99.2306
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11635
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= 37947
involuntary context switches= 94097

runsolver used 1.63675 s user time and 5.00124 s system time

The end

Launcher Data (download as text)

Begin job on node75 on Sat Jan  6 11:03:53 UTC 2007


IDJOB= 234050
IDBENCH= 6658
FILE ID= node75/234050-1168081433

PBS_JOBID= 3476234

Free space on /tmp= 66546 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  afb5d8334ceaf84164b5722ab3a14fda

RANDOM SEED= 657315190

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.218
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.218
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1554720 kB
Buffers:          6804 kB
Cached:         272180 kB
SwapCached:       2468 kB
Active:         251572 kB
Inactive:       198464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1554720 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            2012 kB
Writeback:           0 kB
Mapped:         187200 kB
Slab:            36148 kB
Committed_AS:  3954056 kB
PageTables:       2148 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= 66549 MiB



End job on node75 on Sat Jan  6 11:34:07 UTC 2007