Trace number 215263

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.08 1813.96

General information on the benchmark

NamepseudoSeries/
ii/ii-32e5.xml
MD5SUMe845ce6b023230549f1a878508493526
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.04
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1044
Number of constraints12158
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12158
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/215263-1168078059/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.49	     nbVariables=1044  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.49	       =>  wckTime=0.18  cpuTime=0.14  mem=7M894
0.49	   
0.49	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
2.39	     nbConstraints=12158  nbConvertedConstraints=11178  nbConvertConstraintsChecks=16  nbExtensionStructures=2
2.39	     nbSharedExtensionStructures=11176  nbConflictsStructures=3  nbSharedConflictsStructures=11285
2.39	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=5  nbEvaluationManagers=2
2.39	     nbSharedEvaluationManagers=978  maxDegree=181  maxArity=32
2.39	       =>  wckTime=2.079  cpuTime=1.8  mem=23M948
2.50	   
2.50	   solver IterativeSystematicSolver being built... 
2.90	       =>  wckTime=2.591  cpuTime=2.11  mem=44M930
2.96	   
2.96	   preprocessing
2.96	     nbConstraintChecks=0  nbPropagations=1044  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.96	     detectedInconsistency=no
2.96	       =>  wckTime=0.044  cpuTime=0.04  mem=48M964
3.68	   
3.68	   search
3.68	     run=0  nbConstraintChecks=96836  nbValidityChecks=338780  nbPropagations=3116  nbRevisions=221151
3.68	     nbUselessRevisions=219182  nbAssignments=159  nbFailedAssignments=2  nbBacktracks=10  nbVisitedNodes=164
3.68	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
3.68	       =>  wckTime=0.768  cpuTime=0.71  mem=48M964
4.32	   
4.32	   search
4.32	     run=1  nbConstraintChecks=283736  nbValidityChecks=721470  nbPropagations=10761  nbRevisions=736865
4.32	     nbUselessRevisions=728379  nbAssignments=320  nbFailedAssignments=6  nbBacktracks=26  nbVisitedNodes=337
4.32	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
4.32	       =>  wckTime=1.415  cpuTime=1.35  mem=48M964
5.24	   
5.24	   search
5.24	     run=2  nbConstraintChecks=606071  nbValidityChecks=1148485  nbPropagations=24858  nbRevisions=1627040
5.24	     nbUselessRevisions=1605393  nbAssignments=488  nbFailedAssignments=13  nbBacktracks=49  nbVisitedNodes=528
5.24	     nbRestartNogoods=2  mapSize=36  nbInferences=0  nbTooLargeKeys=0
5.24	       =>  wckTime=2.334  cpuTime=2.27  mem=48M964
6.39	   
6.39	   search
6.39	     run=3  nbConstraintChecks=1051195  nbValidityChecks=1610339  nbPropagations=49005  nbRevisions=2981970
6.39	     nbUselessRevisions=2936792  nbAssignments=664  nbFailedAssignments=23  nbBacktracks=84  nbVisitedNodes=732
6.39	     nbRestartNogoods=3  mapSize=63  nbInferences=0  nbTooLargeKeys=0
6.39	       =>  wckTime=3.48  cpuTime=3.39  mem=48M964
8.44	   
8.44	   search
8.44	     run=4  nbConstraintChecks=1876665  nbValidityChecks=2262726  nbPropagations=91279  nbRevisions=5083610
8.44	     nbUselessRevisions=4995596  nbAssignments=840  nbFailedAssignments=42  nbBacktracks=141  nbVisitedNodes=957
8.44	     nbRestartNogoods=4  mapSize=111  nbInferences=0  nbTooLargeKeys=0
8.44	       =>  wckTime=5.529  cpuTime=5.42  mem=49M973
11.08	   
11.08	   search
11.08	     run=5  nbConstraintChecks=2824451  nbValidityChecks=3123561  nbPropagations=152754  nbRevisions=8070918
11.08	     nbUselessRevisions=7919205  nbAssignments=1025  nbFailedAssignments=61  nbBacktracks=218  nbVisitedNodes=1198
11.08	     nbRestartNogoods=5  mapSize=166  nbInferences=0  nbTooLargeKeys=0
11.08	       =>  wckTime=8.168  cpuTime=8.04  mem=49M973
15.90	   
15.90	   search
15.90	     run=6  nbConstraintChecks=4503523  nbValidityChecks=4610895  nbPropagations=246608  nbRevisions=12612222
15.90	     nbUselessRevisions=12361098  nbAssignments=1255  nbFailedAssignments=84  nbBacktracks=339  nbVisitedNodes=1532
15.90	     nbRestartNogoods=6  mapSize=269  nbInferences=0  nbTooLargeKeys=0
15.90	       =>  wckTime=12.996  cpuTime=12.84  mem=49M973
22.37	   
22.37	   search
22.37	     run=7  nbConstraintChecks=6832856  nbValidityChecks=6644430  nbPropagations=385402  nbRevisions=19284349
22.37	     nbUselessRevisions=18884347  nbAssignments=1557  nbFailedAssignments=121  nbBacktracks=517  nbVisitedNodes=1984
22.37	     nbRestartNogoods=7  mapSize=417  nbInferences=0  nbTooLargeKeys=0
22.37	       =>  wckTime=19.461  cpuTime=19.26  mem=49M973
32.78	   
32.78	   search
32.78	     run=8  nbConstraintChecks=10216837  nbValidityChecks=9915562  nbPropagations=585194  nbRevisions=29126682
32.78	     nbUselessRevisions=28509546  nbAssignments=1945  nbFailedAssignments=169  nbBacktracks=774  nbVisitedNodes=2586
32.78	     nbRestartNogoods=9  mapSize=629  nbInferences=0  nbTooLargeKeys=0
32.78	       =>  wckTime=29.876  cpuTime=29.63  mem=49M973
47.43	   
47.43	   search
47.43	     run=9  nbConstraintChecks=15482468  nbValidityChecks=14430904  nbPropagations=886241  nbRevisions=43774326
47.43	     nbUselessRevisions=42827972  nbAssignments=2497  nbFailedAssignments=229  nbBacktracks=1159  nbVisitedNodes=3484
47.43	     nbRestartNogoods=11  mapSize=973  nbInferences=0  nbTooLargeKeys=0
47.43	       =>  wckTime=44.524  cpuTime=44.2  mem=49M973
49.13	   
49.13	   INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=49M973)
68.01	   
68.01	   search
68.01	     run=10  nbConstraintChecks=23093430  nbValidityChecks=20780585  nbPropagations=1331891  nbRevisions=65308660
68.01	     nbUselessRevisions=63871812  nbAssignments=3236  nbFailedAssignments=307  nbBacktracks=1735  nbVisitedNodes=4734
68.01	     nbRestartNogoods=13
68.01	       =>  wckTime=65.106  cpuTime=64.67  mem=49M973
98.78	   
98.78	   search
98.78	     run=11  nbConstraintChecks=34258449  nbValidityChecks=30202579  nbPropagations=1992580  nbRevisions=97008190
98.78	     nbUselessRevisions=94841956  nbAssignments=4315  nbFailedAssignments=431  nbBacktracks=2599  nbVisitedNodes=6565
98.78	     nbRestartNogoods=15
98.79	       =>  wckTime=95.878  cpuTime=95.3  mem=50M982
143.64	   
143.64	   search
143.64	     run=12  nbConstraintChecks=50730823  nbValidityChecks=43835644  nbPropagations=2976307  nbRevisions=143630732
143.64	     nbUselessRevisions=140377383  nbAssignments=5903  nbFailedAssignments=635  nbBacktracks=3902  nbVisitedNodes=9257
143.64	     nbRestartNogoods=18
143.64	       =>  wckTime=140.737  cpuTime=139.95  mem=50M982
206.69	   
206.69	   search
206.69	     run=13  nbConstraintChecks=74923582  nbValidityChecks=62878216  nbPropagations=4436402  nbRevisions=211785682
206.69	     nbUselessRevisions=206912326  nbAssignments=8244  nbFailedAssignments=940  nbBacktracks=5868  nbVisitedNodes=13292
206.69	     nbRestartNogoods=22
206.69	       =>  wckTime=203.781  cpuTime=202.69  mem=50M982
306.85	   
306.85	   search
306.85	     run=14  nbConstraintChecks=111820244  nbValidityChecks=93664800  nbPropagations=6621827  nbRevisions=313649696
306.85	     nbUselessRevisions=306347954  nbAssignments=11687  nbFailedAssignments=1374  nbBacktracks=8793
306.85	     nbVisitedNodes=19254  nbRestartNogoods=24
306.85	       =>  wckTime=303.939  cpuTime=302.38  mem=50M982
450.38	   
450.38	   search
450.38	     run=15  nbConstraintChecks=167129168  nbValidityChecks=137903308  nbPropagations=9900199  nbRevisions=465484627
450.38	     nbUselessRevisions=454535803  nbAssignments=16801  nbFailedAssignments=2029  nbBacktracks=13176
450.38	     nbVisitedNodes=28260  nbRestartNogoods=28
450.38	       =>  wckTime=447.475  cpuTime=445.23  mem=50M982
645.16	   
645.16	   search
645.16	     run=16  nbConstraintChecks=246214760  nbValidityChecks=199464126  nbPropagations=14802659  nbRevisions=688818747
645.16	     nbUselessRevisions=672408614  nbAssignments=24586  nbFailedAssignments=3159  nbBacktracks=19754
645.16	     nbVisitedNodes=41593  nbRestartNogoods=33
645.16	       =>  wckTime=642.251  cpuTime=638.98  mem=50M982
971.94	   
971.94	   search
971.94	     run=17  nbConstraintChecks=367232442  nbValidityChecks=297415622  nbPropagations=22159023  nbRevisions=1022478244
971.94	     nbUselessRevisions=997874703  nbAssignments=35966  nbFailedAssignments=4607  nbBacktracks=29609
971.94	     nbVisitedNodes=61246  nbRestartNogoods=36
971.94	       =>  wckTime=969.032  cpuTime=962.77  mem=50M982
1479.74	   
1479.74	   search
1479.74	     run=18  nbConstraintChecks=555642338  nbValidityChecks=444997061  nbPropagations=33364743  nbRevisions=1525912641
1479.74	     nbUselessRevisions=1488825768  nbAssignments=52964  nbFailedAssignments=6740  nbBacktracks=44389
1479.74	     nbVisitedNodes=91077  nbRestartNogoods=40
1479.74	       =>  wckTime=1476.832  cpuTime=1465.93  mem=50M982

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/node20/watcher-215263-1168078059 -o ROOT/results/node20/solver-215263-1168078059 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215263-1168078059/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: 0.93 0.98 0.99 4/93 23189
/proc/meminfo: memFree=1681952/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=906644 CPUtime=0.02
/proc/23188/stat : 23188 (java) S 23186 23188 22960 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 156200432 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 226661 1818 1036 14 0 214244 0
[pid=23188/tid=23190] ppid=23186 vsize=906644 CPUtime=0
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22960 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156200436 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104838 s]
/proc/loadavg: 0.93 0.98 0.99 4/93 23189
/proc/meminfo: memFree=1681952/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=914988 CPUtime=0.08
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 2999 0 1 0 7 1 0 0 20 0 8 0 156200432 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228747 2745 1428 14 0 215242 0
[pid=23188/tid=23190] ppid=23186 vsize=914988 CPUtime=0
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156200436 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513888 s]
/proc/loadavg: 0.93 0.98 0.99 4/93 23189
/proc/meminfo: memFree=1681952/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915328 CPUtime=0.49
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 6503 0 1 0 46 3 0 0 22 0 8 0 156200432 937295872 6242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228832 6242 2144 14 0 215302 0
[pid=23188/tid=23190] ppid=23186 vsize=915328 CPUtime=0
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156200436 937295872 6242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.343 s]
/proc/loadavg: 0.93 0.98 0.99 3/100 23196
/proc/meminfo: memFree=1621544/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915640 CPUtime=1.31
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 17471 0 1 0 116 15 0 0 25 0 8 0 156200432 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228910 17208 2178 14 0 215380 0
[pid=23188/tid=23190] ppid=23186 vsize=915640 CPUtime=0.02
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 872 0 0 0 2 0 0 0 16 0 8 0 156200436 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156200437 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915640 CPUtime=0.15
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 412 0 0 0 15 0 0 0 15 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915640

[startup+2.99719 s]
/proc/loadavg: 0.93 0.98 0.99 3/100 23196
/proc/meminfo: memFree=1610152/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=2.96
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23622 0 1 0 232 64 0 0 25 0 8 0 156200432 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074036918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23347 2533 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6542 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 472 0 0 0 25 0 0 0 15 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915728

[startup+6.27758 s]
/proc/loadavg: 1.02 1.00 1.00 3/100 23196
/proc/meminfo: memFree=1598256/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=6.2
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23649 0 1 0 555 65 0 0 25 0 8 0 156200432 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23372 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.29
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 490 0 0 0 29 0 0 0 15 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915728

[startup+12.7754 s]
/proc/loadavg: 1.10 1.02 1.01 3/100 23196
/proc/meminfo: memFree=1598256/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=12.67
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23654 0 1 0 1202 65 0 0 25 0 8 0 156200432 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23375 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.3
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 493 0 0 0 30 0 0 0 16 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915728

[startup+25.6389 s]
/proc/loadavg: 1.30 1.06 1.02 3/100 23196
/proc/meminfo: memFree=1598320/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=25.47
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23665 0 1 0 2482 65 0 0 25 0 8 0 156200432 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23382 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.32
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 500 0 0 0 31 1 0 0 16 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915728

[startup+51.275 s]
/proc/loadavg: 1.54 1.14 1.04 3/100 23196
/proc/meminfo: memFree=1598384/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=50.98
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23670 0 1 0 5033 65 0 0 25 0 8 0 156200432 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23385 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.33
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 504 0 0 0 32 1 0 0 15 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915728

[startup+102.539 s]
/proc/loadavg: 1.80 1.27 1.09 3/100 23196
/proc/meminfo: memFree=1598384/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=102.01
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23674 0 1 0 10135 66 0 0 25 0 8 0 156200432 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074005090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23387 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915728

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

Current children cumulated CPU time (s) 1412.62
Current children cumulated vsize (KiB) 915728

[startup+1482.95 s]
/proc/loadavg: 2.00 1.98 1.77 3/100 23422
/proc/meminfo: memFree=1210304/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1472.09
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 147128 81 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.09
Current children cumulated vsize (KiB) 915728

[startup+1542.97 s]
/proc/loadavg: 2.00 1.98 1.78 3/100 23422
/proc/meminfo: memFree=1173568/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1531.56
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 153074 82 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.56
Current children cumulated vsize (KiB) 915728

[startup+1602.99 s]
/proc/loadavg: 2.00 1.98 1.79 3/100 23422
/proc/meminfo: memFree=1173504/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1591.03
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 159021 82 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074054184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.03
Current children cumulated vsize (KiB) 915728

[startup+1663.01 s]
/proc/loadavg: 2.06 2.00 1.81 3/100 23422
/proc/meminfo: memFree=1132480/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1650.49
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 164967 82 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.49
Current children cumulated vsize (KiB) 915728

[startup+1723.02 s]
/proc/loadavg: 2.12 2.03 1.83 3/100 23422
/proc/meminfo: memFree=1132480/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1709.97
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 170914 83 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.97
Current children cumulated vsize (KiB) 915728

[startup+1783.03 s]
/proc/loadavg: 2.04 2.02 1.83 3/100 23422
/proc/meminfo: memFree=1132416/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1769.42
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 176859 83 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.42
Current children cumulated vsize (KiB) 915728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.9 s]
/proc/loadavg: 2.02 2.02 1.84 3/100 23422
/proc/meminfo: memFree=1132416/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1800.02
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 179918 84 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915728

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

Child status: 143
Real time (s): 1813.96
CPU time (s): 1800.08
CPU user time (s): 1799.22
CPU system time (s): 0.858869
CPU usage (%): 99.2347
Max. virtual memory (cumulated for all children) (KiB): 915824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.858869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23693
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= 38235
involuntary context switches= 77751

runsolver used 2.31465 s user time and 5.71513 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 10:07:39 UTC 2007


IDJOB= 215263
IDBENCH= 4988
FILE ID= node20/215263-1168078059

PBS_JOBID= 3476079

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32e5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215263-1168078059/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-215263-1168078059 -o ROOT/results/node20/solver-215263-1168078059 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215263-1168078059/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e845ce6b023230549f1a878508493526

RANDOM SEED= 766302005

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.216
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.216
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:       1682432 kB
Buffers:         38920 kB
Cached:         157580 kB
SwapCached:       4236 kB
Active:         157644 kB
Inactive:       146212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682432 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            6332 kB
Writeback:           0 kB
Mapped:         131224 kB
Slab:            54088 kB
Committed_AS:  3659308 kB
PageTables:       2580 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= 66539 MiB



End job on node20 on Sat Jan  6 10:37:56 UTC 2007