Trace number 235552

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.06 1804.52

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-2.xml
MD5SUMe5b6f73bb1654894743077b22f6378b0
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 benchmark5.44
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size574
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/235552-1168083062/unknown.xml
0.38	   
0.38	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=100  nbDomainTypes=100  minDomainSize=476  maxDomainSize=574
0.45	       =>  wckTime=0.132  cpuTime=0.11  mem=8M843
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
4.45	   
4.45	   INFO : Stopping converting binary constraints (cpu=4.04, mem = 22M500)
4.64	     nbConstraints=900  nbConvertedConstraints=51  nbConvertConstraintsChecks=14083337  nbExtensionStructures=51
4.64	     nbSharedExtensionStructures=0  nbConflictsStructures=51  nbSharedConflictsStructures=0
4.64	     nbSharedBinaryRepresentations=8038  nbEvaluationManagers=849  nbSharedEvaluationManagers=0  maxDegree=18
4.64	     maxArity=2
4.64	       =>  wckTime=4.317  cpuTime=4.14  mem=28M351
4.71	   
4.71	   solver IterativeSystematicSolver being built... 
4.91	       =>  wckTime=4.584  cpuTime=4.3  mem=28M290
8.00	   
8.00	   preprocessing
8.00	     nbConstraintChecks=7925989  nbValidityChecks=57578  nbPropagations=100  nbRevisions=1698  nbUselessRevisions=1698
8.00	     nbRemovedValues=0  detectedInconsistency=no
8.00	       =>  wckTime=3.089  cpuTime=3.04  mem=28M290
12.17	   
12.17	   search
12.17	     run=0  nbConstraintChecks=7189846  nbValidityChecks=19608937  nbPropagations=3165  nbRevisions=45000
12.17	     nbUselessRevisions=39268  nbAssignments=307  nbFailedAssignments=290  nbBacktracks=10  nbVisitedNodes=608
12.17	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
12.17	       =>  wckTime=7.255  cpuTime=7.14  mem=29M269
17.08	   
17.08	   search
17.08	     run=1  nbConstraintChecks=20807517  nbValidityChecks=25116217  nbPropagations=7863  nbRevisions=112729
17.08	     nbUselessRevisions=94214  nbAssignments=516  nbFailedAssignments=452  nbBacktracks=25  nbVisitedNodes=994
17.08	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=0
17.08	       =>  wckTime=12.166  cpuTime=12.0  mem=29M269
26.21	   
26.22	   search
26.22	     run=2  nbConstraintChecks=38581671  nbValidityChecks=61544482  nbPropagations=20072  nbRevisions=281148
26.22	     nbUselessRevisions=233052  nbAssignments=1168  nbFailedAssignments=1065  nbBacktracks=47  nbVisitedNodes=2281
26.22	     nbRestartNogoods=79  mapSize=47  nbInferences=0  nbTooLargeKeys=0
26.22	       =>  wckTime=21.305  cpuTime=21.05  mem=29M269
38.44	   
38.44	   search
38.44	     run=3  nbConstraintChecks=62593581  nbValidityChecks=111025707  nbPropagations=41689  nbRevisions=585919
38.44	     nbUselessRevisions=485204  nbAssignments=1903  nbFailedAssignments=1756  nbBacktracks=80  nbVisitedNodes=3740
38.44	     nbRestartNogoods=101  mapSize=80  nbInferences=0  nbTooLargeKeys=0
38.44	       =>  wckTime=33.526  cpuTime=33.13  mem=29M269
80.91	   
80.91	   search
80.91	     run=4  nbConstraintChecks=277643722  nbValidityChecks=230394963  nbPropagations=91922  nbRevisions=1270117
80.91	     nbUselessRevisions=1032438  nbAssignments=4582  nbFailedAssignments=4374  nbBacktracks=130  nbVisitedNodes=9087
80.91	     nbRestartNogoods=160  mapSize=130  nbInferences=0  nbTooLargeKeys=0
80.91	       =>  wckTime=75.995  cpuTime=75.21  mem=30M243
122.79	   
122.79	   search
122.79	     run=5  nbConstraintChecks=456622548  nbValidityChecks=364427023  nbPropagations=171070  nbRevisions=2342787
122.79	     nbUselessRevisions=1888048  nbAssignments=7163  nbFailedAssignments=6868  nbBacktracks=205  nbVisitedNodes=14237
122.79	     nbRestartNogoods=362  mapSize=205  nbInferences=0  nbTooLargeKeys=0
122.79	       =>  wckTime=117.884  cpuTime=116.71  mem=30M243
199.37	   
199.37	   search
199.37	     run=6  nbConstraintChecks=596983958  nbValidityChecks=738091329  nbPropagations=301171  nbRevisions=4246696
199.37	     nbUselessRevisions=3440844  nbAssignments=11345  nbFailedAssignments=10932  nbBacktracks=318  nbVisitedNodes=22596
199.37	     nbRestartNogoods=400  mapSize=318  nbInferences=0  nbTooLargeKeys=0
199.37	       =>  wckTime=194.455  cpuTime=192.57  mem=31M217
289.88	   
289.88	   search
289.88	     run=7  nbConstraintChecks=940170020  nbValidityChecks=1075173650  nbPropagations=484795  nbRevisions=6957424
289.88	     nbUselessRevisions=5649658  nbAssignments=16265  nbFailedAssignments=15677  nbBacktracks=488  nbVisitedNodes=32431
289.88	     nbRestartNogoods=466  mapSize=488  nbInferences=0  nbTooLargeKeys=0
289.88	       =>  wckTime=284.973  cpuTime=282.26  mem=31M217
462.14	   
462.14	   search
462.14	     run=8  nbConstraintChecks=1332426006  nbValidityChecks=1663433692  nbPropagations=747601  nbRevisions=10971447
462.14	     nbUselessRevisions=8927112  nbAssignments=23897  nbFailedAssignments=23048  nbBacktracks=744  nbVisitedNodes=47690
462.14	     nbRestartNogoods=576  mapSize=744  nbInferences=0  nbTooLargeKeys=0
462.14	       =>  wckTime=457.23  cpuTime=454.27  mem=33M165
549.95	   
549.95	   INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=34M139)
593.31	   
593.31	   search
593.31	     run=9  nbConstraintChecks=1593478519  nbValidityChecks=2403778559  nbPropagations=1114472  nbRevisions=16652582
593.31	     nbUselessRevisions=13591452  nbAssignments=32380  nbFailedAssignments=31142  nbBacktracks=1128
593.31	     nbVisitedNodes=64650  nbRestartNogoods=835
593.31	       =>  wckTime=588.399  cpuTime=585.31  mem=34M139
739.39	   
739.39	   search
739.39	     run=10  nbConstraintChecks=2474568895  nbValidityChecks=3123796549  nbPropagations=1606227  nbRevisions=24142335
739.39	     nbUselessRevisions=19694355  nbAssignments=44609  nbFailedAssignments=42790  nbBacktracks=1704
739.39	     nbVisitedNodes=89102  nbRestartNogoods=877
739.39	       =>  wckTime=734.475  cpuTime=731.2  mem=34M139
941.41	   
941.41	   search
941.41	     run=11  nbConstraintChecks=3486143356  nbValidityChecks=4271650611  nbPropagations=2289782  nbRevisions=34491579
941.41	     nbUselessRevisions=28095193  nbAssignments=62309  nbFailedAssignments=59621  nbBacktracks=2568
941.41	     nbVisitedNodes=124491  nbRestartNogoods=969
941.41	       =>  wckTime=936.496  cpuTime=933.02  mem=34M139
1574.62	   
1574.62	   search
1574.62	     run=12  nbConstraintChecks=4818618557  nbValidityChecks=7187674878  nbPropagations=3378254  nbRevisions=51320929
1574.62	     nbUselessRevisions=41842399  nbAssignments=99090  nbFailedAssignments=95100  nbBacktracks=3865
1574.62	     nbVisitedNodes=198042  nbRestartNogoods=1106
1574.62	       =>  wckTime=1569.713  cpuTime=1565.5  mem=34M139

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/node11/watcher-235552-1168083062 -o ROOT/results/node11/solver-235552-1168083062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/235552-1168083062/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.94 2.01 1.90 2/93 31066
/proc/meminfo: memFree=1484520/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=18540 CPUtime=0
/proc/31065/stat : 31065 (runsolver) R 31063 31065 30684 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156701271 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31065/statm: 4635 279 244 17 0 2626 0

[startup+0.102743 s]
/proc/loadavg: 1.94 2.01 1.90 2/93 31066
/proc/meminfo: memFree=1484520/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=914988 CPUtime=0.07
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 2950 0 1 0 6 1 0 0 17 0 8 0 156701271 936947712 2696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154326264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228747 2696 1412 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.510824 s]
/proc/loadavg: 1.94 2.01 1.90 2/93 31066
/proc/meminfo: memFree=1484520/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915328 CPUtime=0.48
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 6732 0 1 0 44 4 0 0 18 0 8 0 156701271 937295872 6471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073545037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228832 6471 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33398 s]
/proc/loadavg: 1.94 2.01 1.90 3/100 31073
/proc/meminfo: memFree=1460848/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915448 CPUtime=1.29
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 8392 0 1 0 124 5 0 0 25 0 8 0 156701271 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228862 8130 2168 14 0 215332 0
[pid=31065/tid=31067] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156701276 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 156701276 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156701276 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915448 CPUtime=0.14
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 358 0 0 0 14 0 0 0 16 0 8 0 156701280 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937418752 8130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448

[startup+2.98331 s]
/proc/loadavg: 1.94 2.01 1.90 3/100 31073
/proc/meminfo: memFree=1458352/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915448 CPUtime=2.93
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 9256 0 1 0 287 6 0 0 25 0 8 0 156701271 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228862 8993 2168 14 0 215332 0
[pid=31065/tid=31067] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156701276 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 156701276 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156701276 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915448 CPUtime=0.14
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 359 0 0 0 14 0 0 0 16 0 8 0 156701280 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915448 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937418752 8993 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915448

[startup+6.26896 s]
/proc/loadavg: 1.95 2.01 1.90 3/100 31073
/proc/meminfo: memFree=1440240/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=6.18
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13736 0 1 0 610 8 0 0 25 0 8 0 156701271 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228896 13472 2530 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1767 0 0 0 5 0 0 0 17 0 8 0 156701276 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.23
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 414 0 0 0 23 0 0 0 15 0 8 0 156701280 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915584

[startup+12.7612 s]
/proc/loadavg: 1.95 2.01 1.90 3/100 31073
/proc/meminfo: memFree=1440176/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=12.61
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13773 0 1 0 1252 9 0 0 25 0 8 0 156701271 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228896 13501 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.27
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 437 0 0 0 27 0 0 0 15 0 8 0 156701280 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915584

[startup+25.6088 s]
/proc/loadavg: 1.96 2.01 1.91 3/100 31073
/proc/meminfo: memFree=1440240/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=25.34
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13779 0 1 0 2525 9 0 0 25 0 8 0 156701271 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228896 13503 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.28
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 442 0 0 0 28 0 0 0 15 0 8 0 156701280 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13503 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915584

[startup+51.2269 s]
/proc/loadavg: 1.97 2.00 1.91 3/100 31073
/proc/meminfo: memFree=1440240/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=50.72
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13794 0 1 0 5063 9 0 0 25 0 8 0 156701271 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228896 13515 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.32
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 456 0 0 0 31 1 0 0 16 0 8 0 156701280 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915584

[startup+102.452 s]
/proc/loadavg: 2.05 2.02 1.91 3/100 31073
/proc/meminfo: memFree=1440240/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=101.48
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13796 0 1 0 10138 10 0 0 25 0 8 0 156701271 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31065/statm: 228896 13516 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.32
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 457 0 0 0 31 1 0 0 16 0 8 0 156701280 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915584

[startup+162.523 s]
/proc/loadavg: 2.06 2.03 1.92 3/100 31073
/proc/meminfo: memFree=1440176/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=161
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13796 0 1 0 16090 10 0 0 25 0 8 0 156701271 937558016 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1420.11
Current children cumulated vsize (KiB) 915584

[startup+1484.19 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 31131
/proc/meminfo: memFree=942200/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1480.1
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13800 0 1 0 147991 19 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1480.1
Current children cumulated vsize (KiB) 915584

[startup+1544.28 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 31131
/proc/meminfo: memFree=942200/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1540.13
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13800 0 1 0 153994 19 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073980042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1540.13
Current children cumulated vsize (KiB) 915584

[startup+1604.37 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 31131
/proc/meminfo: memFree=942200/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1600.17
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13801 0 1 0 159997 20 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987369 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1600.17
Current children cumulated vsize (KiB) 915584

[startup+1664.46 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 31131
/proc/meminfo: memFree=942136/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1660.17
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13801 0 1 0 165997 20 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.17
Current children cumulated vsize (KiB) 915584

[startup+1724.55 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 31131
/proc/meminfo: memFree=942136/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1720.2
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13801 0 1 0 172000 20 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1720.2
Current children cumulated vsize (KiB) 915584

[startup+1784.63 s]
/proc/loadavg: 2.06 2.01 1.94 3/100 31131
/proc/meminfo: memFree=942136/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1780.21
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13801 0 1 0 178001 20 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074014777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1780.21
Current children cumulated vsize (KiB) 915584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.49 s]
/proc/loadavg: 2.04 2.01 1.94 3/106 31195
/proc/meminfo: memFree=940832/2055920 swapFree=4192812/4192956
[pid=31065] ppid=31063 vsize=915584 CPUtime=1800.03
/proc/31065/stat : 31065 (java) R 31063 31065 30684 0 -1 0 13801 0 1 0 179977 26 0 0 25 0 8 0 156701271 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073751056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31065/statm: 228896 13520 2535 14 0 215366 0
[pid=31065/tid=31067] ppid=31063 vsize=915584 CPUtime=0.05
/proc/31065/task/31067/stat : 31067 (java) S 31063 31065 30684 0 -1 64 1768 0 0 0 5 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31068] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31068/stat : 31068 (java) S 31063 31065 30684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31069] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31069/stat : 31069 (java) S 31063 31065 30684 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156701276 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31070] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31070/stat : 31070 (java) S 31063 31065 30684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31071] ppid=31063 vsize=915584 CPUtime=0.33
/proc/31065/task/31071/stat : 31071 (java) S 31063 31065 30684 0 -1 64 461 0 0 0 32 1 0 0 16 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31065/tid=31072] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31072/stat : 31072 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31065/tid=31073] ppid=31063 vsize=915584 CPUtime=0
/proc/31065/task/31073/stat : 31073 (java) S 31063 31065 30684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156701280 937558016 13520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915584

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

Child status: 143
Real time (s): 1804.52
CPU time (s): 1800.06
CPU user time (s): 1799.79
CPU system time (s): 0.269958
CPU usage (%): 99.7527
Max. virtual memory (cumulated for all children) (KiB): 915584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.269958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13816
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= 37927
involuntary context switches= 53647

runsolver used 2.19966 s user time and 5.76012 s system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat Jan  6 11:31:02 UTC 2007


IDJOB= 235552
IDBENCH= 6777
FILE ID= node11/235552-1168083062

PBS_JOBID= 3476214

Free space on /tmp= 66319 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e5b6f73bb1654894743077b22f6378b0

RANDOM SEED= 281100613

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.261
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	: 5931.00
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.261
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:       1485000 kB
Buffers:         41536 kB
Cached:         251952 kB
SwapCached:          0 kB
Active:         270128 kB
Inactive:       216672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1485000 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1764 kB
Writeback:           0 kB
Mapped:         222360 kB
Slab:            68556 kB
Committed_AS:  5167340 kB
PageTables:       2680 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= 66312 MiB



End job on node11 on Sat Jan  6 12:01:07 UTC 2007