Trace number 211017

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 ESAC? (TO) 1800.09 1802

General information on the benchmark

NamepseudoSeries/uclid/
46s-smv.xml
MD5SUMc67e75c3854f587fdae15b47c6c9ccf0
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.04954
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1612
Number of constraints3652
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.41	   
0.41	Abscon 109 (November, 2006)
0.41	   
0.41	   configuration
0.41	     name=esac.xml
0.47	   
0.47	   instance
0.47	     name=/tmp/evaluation/211017-1168204413/unknown.xml
0.50	   
0.50	   domains being loaded...
0.50	   
0.50	   variables being loaded...
0.69	     nbVariables=1612  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.69	       =>  wckTime=0.277  cpuTime=0.17  mem=9M844
0.69	   
0.69	   predicates being loaded...
0.70	   
0.70	   constraints being loaded...
1.90	     nbConstraints=3329  nbMergedConstraints=323  nbSingletonDomainVariables=320  nbConvertedConstraints=2137
1.91	     nbConvertConstraintsChecks=122991  nbExtensionStructures=9  nbSharedExtensionStructures=2128
1.91	     nbConflictsStructures=57  nbSharedConflictsStructures=3272  nbSharedBinaryRepresentations=21
1.91	     nbEvaluationManagers=48  nbSharedEvaluationManagers=1144  maxDegree=106  maxArity=13
1.91	       =>  wckTime=1.493  cpuTime=1.23  mem=25M925
1.98	   
1.98	   solver IterativeSystematicSolver being built... 
2.29	       =>  wckTime=1.879  cpuTime=1.47  mem=34M411
4.13	   
4.13	   preprocessing
4.13	     nbConstraintChecks=156030  nbValidityChecks=91084  nbPropagations=7893  nbRevisions=64767  nbUselessRevisions=61140
4.13	     nbSingletonTests=2706  nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=0  detectedInconsistency=no
4.13	       =>  wckTime=1.833  cpuTime=1.77  mem=34M411
5.25	   
5.25	   search
5.25	     run=0  nbConstraintChecks=16753  nbValidityChecks=25040  nbPropagations=9114  nbRevisions=81464
5.25	     nbUselessRevisions=76713  nbAssignments=770  nbFailedAssignments=8  nbBacktracks=14  nbVisitedNodes=782
5.25	     nbRestartNogoods=0  mapSize=5  nbInferences=1  nbTooLargeKeys=0
5.25	       =>  wckTime=2.955  cpuTime=2.87  mem=35M406
6.61	   
6.61	   search
6.61	     run=1  nbConstraintChecks=104369  nbValidityChecks=94439  nbPropagations=24508  nbRevisions=222912
6.61	     nbUselessRevisions=207518  nbAssignments=2399  nbFailedAssignments=11  nbBacktracks=123  nbVisitedNodes=1517
6.61	     nbRestartNogoods=4  mapSize=7  nbInferences=1  nbTooLargeKeys=0
6.61	       =>  wckTime=4.316  cpuTime=4.21  mem=35M406
7.57	   
7.57	   search
7.57	     run=2  nbConstraintChecks=143548  nbValidityChecks=132750  nbPropagations=42861  nbRevisions=394784
7.57	     nbUselessRevisions=365988  nbAssignments=3485  nbFailedAssignments=18  nbBacktracks=146  nbVisitedNodes=2137
7.57	     nbRestartNogoods=6  mapSize=17  nbInferences=1  nbTooLargeKeys=0
7.57	       =>  wckTime=5.27  cpuTime=5.15  mem=35M406
8.34	   
8.34	   search
8.34	     run=3  nbConstraintChecks=192536  nbValidityChecks=169073  nbPropagations=63960  nbRevisions=594568
8.34	     nbUselessRevisions=549887  nbAssignments=4351  nbFailedAssignments=22  nbBacktracks=194  nbVisitedNodes=2619
8.34	     nbRestartNogoods=8  mapSize=20  nbInferences=1  nbTooLargeKeys=0
8.34	       =>  wckTime=6.043  cpuTime=5.91  mem=35M406
9.14	   
9.14	   search
9.14	     run=4  nbConstraintChecks=234713  nbValidityChecks=208643  nbPropagations=88022  nbRevisions=825647
9.14	     nbUselessRevisions=762355  nbAssignments=5330  nbFailedAssignments=25  nbBacktracks=245  nbVisitedNodes=3122
9.14	     nbRestartNogoods=12  mapSize=38  nbInferences=18  nbTooLargeKeys=0
9.14	       =>  wckTime=6.84  cpuTime=6.7  mem=35M406
9.67	   
9.67	   search
9.67	     run=5  nbConstraintChecks=282730  nbValidityChecks=252003  nbPropagations=115086  nbRevisions=1089655
9.67	     nbUselessRevisions=1004937  nbAssignments=5908  nbFailedAssignments=33  nbBacktracks=321  nbVisitedNodes=3456
9.67	     nbRestartNogoods=15  mapSize=51  nbInferences=18  nbTooLargeKeys=0
9.68	       =>  wckTime=7.378  cpuTime=7.24  mem=36M400
10.54	   
10.54	   search
10.54	     run=6  nbConstraintChecks=326657  nbValidityChecks=291997  nbPropagations=145064  nbRevisions=1384635
10.54	     nbUselessRevisions=1275763  nbAssignments=6694  nbFailedAssignments=38  nbBacktracks=443  nbVisitedNodes=4021
10.54	     nbRestartNogoods=17  mapSize=55  nbInferences=18  nbTooLargeKeys=0
10.54	       =>  wckTime=8.242  cpuTime=8.1  mem=36M400
11.22	   
11.22	   search
11.22	     run=7  nbConstraintChecks=372100  nbValidityChecks=335247  nbPropagations=178243  nbRevisions=1713875
11.22	     nbUselessRevisions=1577845  nbAssignments=7418  nbFailedAssignments=45  nbBacktracks=618  nbVisitedNodes=4450
11.22	     nbRestartNogoods=21  mapSize=67  nbInferences=18  nbTooLargeKeys=0
11.22	       =>  wckTime=8.923  cpuTime=8.78  mem=36M400
11.96	   
11.96	   search
11.96	     run=8  nbConstraintChecks=431400  nbValidityChecks=364431  nbPropagations=213896  nbRevisions=2065953
11.96	     nbUselessRevisions=1900197  nbAssignments=7886  nbFailedAssignments=70  nbBacktracks=880  nbVisitedNodes=4972
11.96	     nbRestartNogoods=22  mapSize=120  nbInferences=19  nbTooLargeKeys=0
11.96	       =>  wckTime=9.664  cpuTime=9.51  mem=36M400
12.89	   
12.90	   search
12.90	     run=9  nbConstraintChecks=483267  nbValidityChecks=399616  nbPropagations=253770  nbRevisions=2449445
12.90	     nbUselessRevisions=2249734  nbAssignments=8519  nbFailedAssignments=97  nbBacktracks=1270  nbVisitedNodes=5715
12.90	     nbRestartNogoods=23  mapSize=226  nbInferences=62  nbTooLargeKeys=0
12.90	       =>  wckTime=10.599  cpuTime=10.44  mem=36M400
14.73	   
14.73	   search
14.73	     run=10  nbConstraintChecks=552208  nbValidityChecks=487189  nbPropagations=298451  nbRevisions=2896349
14.73	     nbUselessRevisions=2658642  nbAssignments=9922  nbFailedAssignments=114  nbBacktracks=1846  nbVisitedNodes=7259
14.73	     nbRestartNogoods=25  mapSize=614  nbInferences=434  nbTooLargeKeys=0
14.73	       =>  wckTime=12.43  cpuTime=12.24  mem=37M395
17.55	   
17.55	   search
17.55	     run=11  nbConstraintChecks=629776  nbValidityChecks=602409  nbPropagations=347694  nbRevisions=3423223
17.55	     nbUselessRevisions=3144478  nbAssignments=11821  nbFailedAssignments=119  nbBacktracks=2717  nbVisitedNodes=9776
17.55	     nbRestartNogoods=30  mapSize=1347  nbInferences=1161  nbTooLargeKeys=0
17.55	       =>  wckTime=15.252  cpuTime=15.05  mem=38M390
19.91	   
19.91	   search
19.91	     run=12  nbConstraintChecks=766816  nbValidityChecks=686964  nbPropagations=417311  nbRevisions=4070466
19.91	     nbUselessRevisions=3729143  nbAssignments=13581  nbFailedAssignments=267  nbBacktracks=4018  nbVisitedNodes=11992
19.91	     nbRestartNogoods=32  mapSize=1796  nbInferences=1288  nbTooLargeKeys=0
19.91	       =>  wckTime=17.612  cpuTime=17.4  mem=39M384
23.79	   
23.79	   search
23.79	     run=13  nbConstraintChecks=915853  nbValidityChecks=801385  nbPropagations=501967  nbRevisions=4836652
23.79	     nbUselessRevisions=4417845  nbAssignments=16300  nbFailedAssignments=390  nbBacktracks=5965  nbVisitedNodes=15313
23.79	     nbRestartNogoods=38  mapSize=2409  nbInferences=1672  nbTooLargeKeys=0
23.79	       =>  wckTime=21.496  cpuTime=21.26  mem=40M379
28.25	   
28.25	   search
28.25	     run=14  nbConstraintChecks=1110746  nbValidityChecks=910703  nbPropagations=621360  nbRevisions=5790904
28.25	     nbUselessRevisions=5258744  nbAssignments=19940  nbFailedAssignments=653  nbBacktracks=8913  nbVisitedNodes=19477
28.25	     nbRestartNogoods=50  mapSize=3037  nbInferences=1851  nbTooLargeKeys=0
28.25	       =>  wckTime=25.954  cpuTime=25.7  mem=41M374
34.48	   
34.48	   search
34.48	     run=15  nbConstraintChecks=1442751  nbValidityChecks=1061435  nbPropagations=790492  nbRevisions=7018422
34.48	     nbUselessRevisions=6320677  nbAssignments=25010  nbFailedAssignments=963  nbBacktracks=13311  nbVisitedNodes=25110
34.48	     nbRestartNogoods=58  mapSize=3703  nbInferences=1934  nbTooLargeKeys=0
34.48	       =>  wckTime=32.181  cpuTime=31.9  mem=43M363
44.46	   
44.46	   search
44.46	     run=16  nbConstraintChecks=1998359  nbValidityChecks=1317488  nbPropagations=1035140  nbRevisions=8666952
44.46	     nbUselessRevisions=7725673  nbAssignments=32867  nbFailedAssignments=1575  nbBacktracks=19886  nbVisitedNodes=34247
44.46	     nbRestartNogoods=65  mapSize=5187  nbInferences=2202  nbTooLargeKeys=0
44.46	       =>  wckTime=42.165  cpuTime=41.84  mem=47M342
59.14	   
59.14	   search
59.14	     run=17  nbConstraintChecks=2922150  nbValidityChecks=1723894  nbPropagations=1425026  nbRevisions=11140203
59.14	     nbUselessRevisions=9804064  nbAssignments=44156  nbFailedAssignments=2499  nbBacktracks=29744  nbVisitedNodes=47735
59.14	     nbRestartNogoods=70  mapSize=7465  nbInferences=2488  nbTooLargeKeys=0
59.14	       =>  wckTime=56.844  cpuTime=56.44  mem=51M321
79.53	   
79.53	   search
79.53	     run=18  nbConstraintChecks=3679732  nbValidityChecks=2032656  nbPropagations=1969019  nbRevisions=14413382
79.53	     nbUselessRevisions=12521883  nbAssignments=60676  nbFailedAssignments=3205  nbBacktracks=44522
79.53	     nbVisitedNodes=66694  nbRestartNogoods=79  mapSize=9770  nbInferences=3357  nbTooLargeKeys=0
79.53	       =>  wckTime=77.231  cpuTime=76.7  mem=16M358
112.40	   
112.40	   search
112.40	     run=19  nbConstraintChecks=6321414  nbValidityChecks=3153448  nbPropagations=2908786  nbRevisions=20000764
112.40	     nbUselessRevisions=17145107  nbAssignments=86764  nbFailedAssignments=5620  nbBacktracks=66705
112.40	     nbVisitedNodes=99540  nbRestartNogoods=82  mapSize=16293  nbInferences=4766  nbTooLargeKeys=0
112.40	       =>  wckTime=110.103  cpuTime=109.41  mem=22M499
171.01	   
171.01	   search
171.01	     run=20  nbConstraintChecks=12415547  nbValidityChecks=5562364  nbPropagations=4310770  nbRevisions=28899161
171.01	     nbUselessRevisions=24586197  nbAssignments=124499  nbFailedAssignments=9202  nbBacktracks=99959
171.01	     nbVisitedNodes=145703  nbRestartNogoods=86  mapSize=24429  nbInferences=5583  nbTooLargeKeys=0
171.01	       =>  wckTime=168.713  cpuTime=167.75  mem=32M516
242.97	   
242.97	   search
242.97	     run=21  nbConstraintChecks=18766464  nbValidityChecks=8095248  nbPropagations=6469664  nbRevisions=42338118
242.97	     nbUselessRevisions=35775953  nbAssignments=182940  nbFailedAssignments=14118  nbBacktracks=149839
242.97	     nbVisitedNodes=218655  nbRestartNogoods=93  mapSize=38727  nbInferences=9070  nbTooLargeKeys=0
242.97	       =>  wckTime=240.669  cpuTime=239.36  mem=46M539
354.51	   
354.51	   search
354.51	     run=22  nbConstraintChecks=30061308  nbValidityChecks=12570240  nbPropagations=9944043  nbRevisions=63974756
354.51	     nbUselessRevisions=53780612  nbAssignments=272574  nbFailedAssignments=23281  nbBacktracks=224702
354.51	     nbVisitedNodes=332920  nbRestartNogoods=100  mapSize=62993  nbInferences=14601  nbTooLargeKeys=0
354.51	       =>  wckTime=352.213  cpuTime=350.73  mem=35M198
510.71	   
510.71	   search
510.71	     run=23  nbConstraintChecks=42820496  nbValidityChecks=17754514  nbPropagations=15270907  nbRevisions=96465578
510.71	     nbUselessRevisions=80706728  nbAssignments=400935  nbFailedAssignments=34196  nbBacktracks=336934
510.71	     nbVisitedNodes=488863  nbRestartNogoods=111  mapSize=88986  nbInferences=19690  nbTooLargeKeys=0
510.71	       =>  wckTime=508.414  cpuTime=506.88  mem=72M259
747.95	   
747.95	   search
747.95	     run=24  nbConstraintChecks=61328668  nbValidityChecks=25425067  nbPropagations=23085103  nbRevisions=143856596
747.95	     nbUselessRevisions=119951881  nbAssignments=595500  nbFailedAssignments=50018  nbBacktracks=505299
747.95	     nbVisitedNodes=726242  nbRestartNogoods=126  mapSize=130317  nbInferences=29893  nbTooLargeKeys=0
747.95	       =>  wckTime=745.658  cpuTime=743.86  mem=54M620
1084.05	   
1084.05	   search
1084.05	     run=25  nbConstraintChecks=87674274  nbValidityChecks=36072095  nbPropagations=34759683  nbRevisions=213472411
1084.05	     nbUselessRevisions=177432618  nbAssignments=882289  nbFailedAssignments=68157  nbBacktracks=757823
1084.05	     nbVisitedNodes=1070416  nbRestartNogoods=133  mapSize=186758  nbInferences=45982  nbTooLargeKeys=0
1084.05	       =>  wckTime=1081.751  cpuTime=1079.74  mem=88M553
1614.89	   
1614.89	   search
1614.89	     run=26  nbConstraintChecks=131128307  nbValidityChecks=54054006  nbPropagations=52403994  nbRevisions=318652601
1614.89	     nbUselessRevisions=264350420  nbAssignments=1329344  nbFailedAssignments=98570  nbBacktracks=1136590
1614.89	     nbVisitedNodes=1619725  nbRestartNogoods=139  mapSize=285824  nbInferences=83741  nbTooLargeKeys=0
1614.89	       =>  wckTime=1612.591  cpuTime=1610.19  mem=120M407

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/node19/watcher-211017-1168204413 -o ROOT/results/node19/solver-211017-1168204413 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211017-1168204413/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: 2.04 2.02 1.89 3/89 32087
/proc/meminfo: memFree=1257984/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=1784 CPUtime=0
/proc/32086/stat : 32086 (java) D 32084 32086 31360 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 168835992 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/32086/statm: 446 160 125 14 0 91 0

[startup+0.103064 s]
/proc/loadavg: 2.04 2.02 1.89 3/89 32087
/proc/meminfo: memFree=1257984/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=907676 CPUtime=0.03
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 2216 0 1 0 3 0 0 0 16 0 4 0 168835992 929460224 1963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016942 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 226919 1963 1115 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.512146 s]
/proc/loadavg: 2.04 2.02 1.89 3/89 32087
/proc/meminfo: memFree=1257984/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915328 CPUtime=0.37
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 5857 0 1 0 34 3 0 0 18 0 8 0 168835992 937295872 5596 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228832 5596 2111 14 0 215302 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 915328

[startup+1.33329 s]
/proc/loadavg: 2.11 2.04 1.90 3/96 32094
/proc/meminfo: memFree=1206472/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915644 CPUtime=1.19
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 16306 0 1 0 97 22 0 0 24 0 8 0 168835992 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228911 16044 2167 14 0 215381 0
[pid=32086/tid=32088] ppid=32084 vsize=915644 CPUtime=0
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 168836001 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915644 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 168836002 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915644 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 168836002 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915644 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915644 CPUtime=0.19
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 426 0 0 0 19 0 0 0 16 0 8 0 168836009 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915644 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915644 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937619456 16044 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915644

[startup+2.97592 s]
/proc/loadavg: 2.11 2.04 1.90 4/96 32094
/proc/meminfo: memFree=1192072/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=2.82
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 19258 0 1 0 257 25 0 0 25 0 8 0 168835992 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228962 18994 2547 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.11
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 2099 0 0 0 10 1 0 0 16 0 8 0 168836001 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.35
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 514 0 0 0 34 1 0 0 15 0 8 0 168836009 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 18994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915848

[startup+6.27722 s]
/proc/loadavg: 2.10 2.04 1.90 3/96 32094
/proc/meminfo: memFree=1191688/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=6.12
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 19282 0 1 0 586 26 0 0 25 0 8 0 168835992 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228962 19014 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.11
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 2099 0 0 0 10 1 0 0 17 0 8 0 168836001 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.4
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 534 0 0 0 39 1 0 0 15 0 8 0 168836009 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 19014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915848

[startup+12.7574 s]
/proc/loadavg: 2.09 2.04 1.90 3/96 32094
/proc/meminfo: memFree=1191688/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=12.56
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 19292 0 1 0 1230 26 0 0 25 0 8 0 168835992 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228962 19021 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.11
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 2099 0 0 0 10 1 0 0 16 0 8 0 168836001 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.41
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 541 0 0 0 40 1 0 0 15 0 8 0 168836009 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 19021 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915848

[startup+25.6369 s]
/proc/loadavg: 2.08 2.03 1.90 3/96 32094
/proc/meminfo: memFree=1191688/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=25.37
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 19303 0 1 0 2511 26 0 0 25 0 8 0 168835992 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228962 19027 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.11
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 2099 0 0 0 10 1 0 0 16 0 8 0 168836001 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 548 0 0 0 42 1 0 0 15 0 8 0 168836009 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 19027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915848

[startup+51.2667 s]
/proc/loadavg: 2.05 2.03 1.90 3/96 32094
/proc/meminfo: memFree=1191752/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=50.88
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 19304 0 1 0 5061 27 0 0 25 0 8 0 168835992 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074256679 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228962 19028 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.11
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 2099 0 0 0 10 1 0 0 16 0 8 0 168836001 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 549 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 19028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915848

[startup+102.509 s]
/proc/loadavg: 2.02 2.02 1.91 3/96 32094
/proc/meminfo: memFree=1185928/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=101.88
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 20773 0 1 0 10161 27 0 0 25 0 8 0 168835992 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32086/statm: 228962 20496 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.13
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 3566 0 0 0 12 1 0 0 16 0 8 0 168836001 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 915848

[startup+162.608 s]
/proc/loadavg: 2.05 2.03 1.91 3/96 32094
/proc/meminfo: memFree=1185864/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=161.69
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 20773 0 1 0 16141 28 0 0 25 0 8 0 168835992 937828352 20496 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074160078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1421.38
Current children cumulated vsize (KiB) 915848

[startup+1483.15 s]
/proc/loadavg: 1.00 1.00 1.21 2/85 32114
/proc/meminfo: memFree=1168816/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1481.37
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 40794 0 1 0 148096 41 0 0 25 0 8 0 168835992 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074160116 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 40510 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.71
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 23580 0 0 0 61 10 0 0 16 0 8 0 168836001 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 915848

[startup+1543.16 s]
/proc/loadavg: 1.03 1.01 1.20 2/85 32114
/proc/meminfo: memFree=1168816/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1541.36
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 40794 0 1 0 154095 41 0 0 25 0 8 0 168835992 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074182844 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 40510 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.71
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 23580 0 0 0 61 10 0 0 16 0 8 0 168836001 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.36
Current children cumulated vsize (KiB) 915848

[startup+1603.17 s]
/proc/loadavg: 1.01 1.01 1.18 2/85 32114
/proc/meminfo: memFree=1168816/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1601.36
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 40794 0 1 0 160095 41 0 0 25 0 8 0 168835992 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 40510 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.71
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 23580 0 0 0 61 10 0 0 16 0 8 0 168836001 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 915848

[startup+1663.2 s]
/proc/loadavg: 1.00 1.00 1.17 2/85 32114
/proc/meminfo: memFree=1168816/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1661.35
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 40794 0 1 0 166094 41 0 0 25 0 8 0 168835992 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074160036 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 40510 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.71
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 23580 0 0 0 61 10 0 0 16 0 8 0 168836001 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 40510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.35
Current children cumulated vsize (KiB) 915848

[startup+1723.22 s]
/proc/loadavg: 1.00 1.00 1.16 2/85 32114
/proc/meminfo: memFree=1155312/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1721.35
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 44154 0 1 0 172092 43 0 0 25 0 8 0 168835992 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074195283 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 43869 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.82
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 26939 0 0 0 70 12 0 0 16 0 8 0 168836001 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.35
Current children cumulated vsize (KiB) 915848

[startup+1783.24 s]
/proc/loadavg: 1.00 1.00 1.15 2/85 32114
/proc/meminfo: memFree=1155376/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1781.34
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 44154 0 1 0 178091 43 0 0 25 0 8 0 168835992 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074258458 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 43869 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.82
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 26939 0 0 0 70 12 0 0 16 0 8 0 168836001 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (KiB) 915848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.94 s]
/proc/loadavg: 1.00 1.00 1.14 2/85 32114
/proc/meminfo: memFree=1155376/2055920 swapFree=4171244/4192956
[pid=32086] ppid=32084 vsize=915848 CPUtime=1800.02
/proc/32086/stat : 32086 (java) R 32084 32086 31360 0 -1 0 44154 0 1 0 179959 43 0 0 25 0 8 0 168835992 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074154228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32086/statm: 228962 43869 2548 14 0 215432 0
[pid=32086/tid=32088] ppid=32084 vsize=915848 CPUtime=0.82
/proc/32086/task/32088/stat : 32088 (java) S 32084 32086 31360 0 -1 64 26939 0 0 0 70 12 0 0 16 0 8 0 168836001 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32089] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32089/stat : 32089 (java) S 32084 32086 31360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32090] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32090/stat : 32090 (java) S 32084 32086 31360 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168836002 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32091] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32091/stat : 32091 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32092] ppid=32084 vsize=915848 CPUtime=0.43
/proc/32086/task/32092/stat : 32092 (java) S 32084 32086 31360 0 -1 64 550 0 0 0 42 1 0 0 16 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32093] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32093/stat : 32093 (java) S 32084 32086 31360 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32086/tid=32094] ppid=32084 vsize=915848 CPUtime=0
/proc/32086/task/32094/stat : 32094 (java) S 32084 32086 31360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168836009 937828352 43869 18446744073709551615 134512640 134570532 4294956464 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) 915848

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

Child status: 143
Real time (s): 1802
CPU time (s): 1800.09
CPU user time (s): 1799.62
CPU system time (s): 0.465929
CPU usage (%): 99.894
Max. virtual memory (cumulated for all children) (KiB): 915848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.465929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44170
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= 38276
involuntary context switches= 22464

runsolver used 2.10368 s user time and 4.51031 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun Jan  7 21:13:34 UTC 2007


IDJOB= 211017
IDBENCH= 4662
FILE ID= node19/211017-1168204413

PBS_JOBID= 3480543

Free space on /tmp= 66311 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/46s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211017-1168204413/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-211017-1168204413 -o ROOT/results/node19/solver-211017-1168204413 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211017-1168204413/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c67e75c3854f587fdae15b47c6c9ccf0

RANDOM SEED= 808923987

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.260
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.260
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:       1258464 kB
Buffers:         58720 kB
Cached:         585784 kB
SwapCached:      10472 kB
Active:         195188 kB
Inactive:       535632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1258464 kB
SwapTotal:     4192956 kB
SwapFree:      4171244 kB
Dirty:            2224 kB
Writeback:           0 kB
Mapped:          96488 kB
Slab:            51164 kB
Committed_AS:  4304020 kB
PageTables:       2520 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= 66318 MiB



End job on node19 on Sun Jan  7 21:43:36 UTC 2007