Trace number 210698

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.14 1802.21

General information on the benchmark

NamepseudoSeries/uclid/
25s-smv.xml
MD5SUMf7a273ee733be68f959a2f3726847276
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 benchmark9.68753
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables5072
Number of constraints12828
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12828
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.40	   
0.40	   instance
0.41	     name=/tmp/evaluation/210698-1168075127/unknown.xml
0.43	   
0.43	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.67	     nbVariables=5072  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.67	       =>  wckTime=0.289  cpuTime=0.2  mem=15M712
0.67	   
0.67	   predicates being loaded...
0.68	   
0.68	   constraints being loaded...
4.03	     nbConstraints=12012  nbMergedConstraints=816  nbSingletonDomainVariables=1077  nbConvertedConstraints=7726
4.03	     nbConvertConstraintsChecks=426095  nbExtensionStructures=9  nbSharedExtensionStructures=7717
4.03	     nbConflictsStructures=53  nbSharedConflictsStructures=11959  nbSharedBinaryRepresentations=21
4.03	     nbEvaluationManagers=44  nbSharedEvaluationManagers=4242  maxDegree=170  maxArity=15
4.03	       =>  wckTime=3.657  cpuTime=3.25  mem=63M826
4.16	   
4.16	   solver IterativeSystematicSolver being built... 
4.60	       =>  wckTime=4.223  cpuTime=3.6  mem=48M996
4.65	   
4.65	   preprocessing
4.65	     nbConstraintChecks=0  nbPropagations=5072  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
4.65	     detectedInconsistency=no
4.65	       =>  wckTime=0.039  cpuTime=0.03  mem=50M9
5.89	   
5.89	   search
5.89	     run=0  nbConstraintChecks=121653  nbValidityChecks=48199  nbPropagations=7618  nbRevisions=36865
5.89	     nbUselessRevisions=34313  nbAssignments=164  nbFailedAssignments=4  nbBacktracks=10  nbVisitedNodes=177
5.89	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
5.89	       =>  wckTime=1.281  cpuTime=1.24  mem=51M38
6.84	   
6.84	   search
6.84	     run=1  nbConstraintChecks=164948  nbValidityChecks=102501  nbPropagations=17780  nbRevisions=110862
6.84	     nbUselessRevisions=103210  nbAssignments=333  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=358
6.84	     nbRestartNogoods=2  mapSize=20  nbInferences=0  nbTooLargeKeys=0
6.84	       =>  wckTime=2.236  cpuTime=2.18  mem=51M38
7.86	   
7.86	   search
7.86	     run=2  nbConstraintChecks=199118  nbValidityChecks=156764  nbPropagations=30999  nbRevisions=224274
7.86	     nbUselessRevisions=208388  nbAssignments=518  nbFailedAssignments=13  nbBacktracks=73  nbVisitedNodes=565
7.86	     nbRestartNogoods=4  mapSize=40  nbInferences=0  nbTooLargeKeys=0
7.86	       =>  wckTime=3.251  cpuTime=3.2  mem=51M38
8.94	   
8.94	   search
8.94	     run=3  nbConstraintChecks=232940  nbValidityChecks=211540  nbPropagations=47436  nbRevisions=377759
8.94	     nbUselessRevisions=350369  nbAssignments=715  nbFailedAssignments=17  nbBacktracks=106  nbVisitedNodes=779
8.94	     nbRestartNogoods=6  mapSize=54  nbInferences=0  nbTooLargeKeys=0
8.94	       =>  wckTime=4.338  cpuTime=4.28  mem=51M38
10.59	   
10.59	   search
10.59	     run=4  nbConstraintChecks=335869  nbValidityChecks=289533  nbPropagations=67544  nbRevisions=584993
10.59	     nbUselessRevisions=542340  nbAssignments=958  nbFailedAssignments=25  nbBacktracks=158  nbVisitedNodes=1048
10.59	     nbRestartNogoods=9  mapSize=75  nbInferences=0  nbTooLargeKeys=0
10.59	       =>  wckTime=5.98  cpuTime=5.92  mem=52M51
12.33	   
12.33	   search
12.33	     run=5  nbConstraintChecks=413822  nbValidityChecks=363248  nbPropagations=91499  nbRevisions=844912
12.33	     nbUselessRevisions=782993  nbAssignments=1235  nbFailedAssignments=38  nbBacktracks=240  nbVisitedNodes=1361
12.33	     nbRestartNogoods=14  mapSize=107  nbInferences=0  nbTooLargeKeys=0
12.33	       =>  wckTime=7.727  cpuTime=7.66  mem=52M51
15.46	   
15.46	   search
15.46	     run=6  nbConstraintChecks=690388  nbValidityChecks=470182  nbPropagations=119948  nbRevisions=1176339
15.46	     nbUselessRevisions=1090553  nbAssignments=1613  nbFailedAssignments=59  nbBacktracks=354  nbVisitedNodes=1785
15.46	     nbRestartNogoods=18  mapSize=149  nbInferences=0  nbTooLargeKeys=0
15.46	       =>  wckTime=10.853  cpuTime=10.75  mem=52M51
39.14	   
39.14	   search
39.14	     run=7  nbConstraintChecks=813916  nbValidityChecks=581635  nbPropagations=152829  nbRevisions=1580859
39.14	     nbUselessRevisions=1466907  nbAssignments=4065  nbFailedAssignments=76  nbBacktracks=943  nbVisitedNodes=4273
39.14	     nbRestartNogoods=22  mapSize=170  nbInferences=8  nbTooLargeKeys=0
39.14	       =>  wckTime=34.536  cpuTime=34.41  mem=53M64
60.71	   
60.71	   search
60.71	     run=8  nbConstraintChecks=965614  nbValidityChecks=696803  nbPropagations=189755  nbRevisions=2058515
60.71	     nbUselessRevisions=1912532  nbAssignments=6289  nbFailedAssignments=93  nbBacktracks=1290  nbVisitedNodes=6520
60.71	     nbRestartNogoods=33  mapSize=174  nbInferences=12  nbTooLargeKeys=0
60.71	       =>  wckTime=56.106  cpuTime=55.95  mem=54M77
82.55	   
82.55	   search
82.55	     run=9  nbConstraintChecks=1067390  nbValidityChecks=802521  nbPropagations=230722  nbRevisions=2604210
82.55	     nbUselessRevisions=2422414  nbAssignments=8543  nbFailedAssignments=98  nbBacktracks=1677  nbVisitedNodes=8788
82.55	     nbRestartNogoods=52  mapSize=182  nbInferences=18  nbTooLargeKeys=0
82.55	       =>  wckTime=77.94  cpuTime=77.75  mem=55M90
105.52	   
105.52	   search
105.52	     run=10  nbConstraintChecks=1171961  nbValidityChecks=908981  nbPropagations=276471  nbRevisions=3220472
105.52	     nbUselessRevisions=2998355  nbAssignments=10929  nbFailedAssignments=112  nbBacktracks=2376  nbVisitedNodes=11216
105.52	     nbRestartNogoods=57  mapSize=218  nbInferences=34  nbTooLargeKeys=0
105.52	       =>  wckTime=100.913  cpuTime=100.69  mem=56M103
122.92	   
122.92	   search
122.92	     run=11  nbConstraintChecks=1273434  nbValidityChecks=1014710  nbPropagations=326021  nbRevisions=3903954
122.92	     nbUselessRevisions=3637943  nbAssignments=12751  nbFailedAssignments=116  nbBacktracks=3585  nbVisitedNodes=13047
122.92	     nbRestartNogoods=59  mapSize=224  nbInferences=36  nbTooLargeKeys=0
122.92	       =>  wckTime=118.314  cpuTime=118.07  mem=57M116
140.97	   
140.97	   search
140.97	     run=12  nbConstraintChecks=1374696  nbValidityChecks=1119995  nbPropagations=379424  nbRevisions=4654633
140.97	     nbUselessRevisions=4341113  nbAssignments=14637  nbFailedAssignments=118  nbBacktracks=4925  nbVisitedNodes=14941
140.97	     nbRestartNogoods=62  mapSize=230  nbInferences=40  nbTooLargeKeys=0
140.97	       =>  wckTime=136.368  cpuTime=136.12  mem=58M129
175.11	   
175.11	   search
175.11	     run=13  nbConstraintChecks=1491961  nbValidityChecks=1251837  nbPropagations=437660  nbRevisions=5490363
175.11	     nbUselessRevisions=5125091  nbAssignments=18109  nbFailedAssignments=124  nbBacktracks=7665  nbVisitedNodes=18617
175.11	     nbRestartNogoods=64  mapSize=432  nbInferences=234  nbTooLargeKeys=0
175.11	       =>  wckTime=170.505  cpuTime=170.21  mem=60M155
219.19	   
219.19	   search
219.19	     run=14  nbConstraintChecks=1609283  nbValidityChecks=1383817  nbPropagations=500743  nbRevisions=6411251
219.19	     nbUselessRevisions=5989990  nbAssignments=22538  nbFailedAssignments=129  nbBacktracks=10596  nbVisitedNodes=23249
219.19	     nbRestartNogoods=66  mapSize=632  nbInferences=428  nbTooLargeKeys=0
219.19	       =>  wckTime=214.583  cpuTime=214.24  mem=61M168
298.57	   
298.57	   search
298.57	     run=15  nbConstraintChecks=2001925  nbValidityChecks=1968459  nbPropagations=580455  nbRevisions=7710774
298.57	     nbUselessRevisions=7223265  nbAssignments=30432  nbFailedAssignments=129  nbBacktracks=14976  nbVisitedNodes=34227
298.57	     nbRestartNogoods=69  mapSize=3711  nbInferences=3512  nbTooLargeKeys=0
298.57	       =>  wckTime=293.961  cpuTime=293.52  mem=66M233
416.86	   
416.86	   search
416.86	     run=16  nbConstraintChecks=2534308  nbValidityChecks=2816045  nbPropagations=682767  nbRevisions=9552622
416.86	     nbUselessRevisions=8985956  nbAssignments=42178  nbFailedAssignments=129  nbBacktracks=21548  nbVisitedNodes=50717
416.86	     nbRestartNogoods=74  mapSize=8449  nbInferences=8256  nbTooLargeKeys=0
416.86	       =>  wckTime=412.253  cpuTime=411.71  mem=74M337
592.98	   
592.98	   search
592.98	     run=17  nbConstraintChecks=3283932  nbValidityChecks=4043861  nbPropagations=817516  nbRevisions=12179914
592.98	     nbUselessRevisions=11516009  nbAssignments=59545  nbFailedAssignments=130  nbBacktracks=31400  nbVisitedNodes=75162
592.98	     nbRestartNogoods=80  mapSize=15518  nbInferences=15333  nbTooLargeKeys=0
592.98	       =>  wckTime=588.371  cpuTime=587.58  mem=47M633
851.62	   
851.62	   search
851.62	     run=18  nbConstraintChecks=4470277  nbValidityChecks=5819314  nbPropagations=999707  nbRevisions=15959641
851.62	     nbUselessRevisions=15172325  nbAssignments=85303  nbFailedAssignments=132  nbBacktracks=46183
851.62	     nbVisitedNodes=111451  nbRestartNogoods=89  mapSize=26044  nbInferences=25862  nbTooLargeKeys=0
851.62	       =>  wckTime=847.011  cpuTime=845.95  mem=63M841
1239.80	   
1239.80	   search
1239.80	     run=19  nbConstraintChecks=7645871  nbValidityChecks=8254061  nbPropagations=1254298  nbRevisions=21543728
1239.80	     nbUselessRevisions=20592112  nbAssignments=123562  nbFailedAssignments=132  nbBacktracks=68356
1239.80	     nbVisitedNodes=165364  nbRestartNogoods=94  mapSize=41693  nbInferences=41516  nbTooLargeKeys=0
1239.80	       =>  wckTime=1235.194  cpuTime=1233.71  mem=85M114

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/node17/watcher-210698-1168075127 -o ROOT/results/node17/solver-210698-1168075127 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210698-1168075127/unknown.xml 

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

/proc/loadavg: 1.67 1.75 1.89 4/93 11551
/proc/meminfo: memFree=1503856/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=1488 CPUtime=0
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 236 0 0 0 0 0 0 0 18 0 1 0 155907496 1523712 42 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2861709 0 0 4096 0 0 0 0 17 0 0 0
/proc/11550/statm: 375 54 43 14 0 8 0

[startup+0.107393 s]
/proc/loadavg: 1.67 1.75 1.89 4/93 11551
/proc/meminfo: memFree=1503856/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=914988 CPUtime=0.08
/proc/11550/stat : 11550 (java) D 11548 11550 11481 0 -1 0 2989 0 1 0 6 2 0 0 24 0 8 0 155907496 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515435 s]
/proc/loadavg: 1.67 1.75 1.89 4/93 11551
/proc/meminfo: memFree=1503856/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915328 CPUtime=0.42
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 6216 0 1 0 38 4 0 0 19 0 8 0 155907496 937295872 5955 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073568272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228832 5956 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33653 s]
/proc/loadavg: 1.67 1.75 1.89 3/100 11558
/proc/meminfo: memFree=1442232/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915644 CPUtime=1.24
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 19337 0 1 0 112 12 0 0 25 0 8 0 155907496 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448286 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228911 19074 2158 14 0 215381 0
[pid=11550/tid=11552] ppid=11548 vsize=915644 CPUtime=0.09
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 2794 0 0 0 8 1 0 0 16 0 8 0 155907499 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915644 CPUtime=0.15
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 409 0 0 0 15 0 0 0 15 0 8 0 155907503 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937619456 19074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915644

[startup+2.97369 s]
/proc/loadavg: 1.67 1.75 1.89 3/100 11558
/proc/meminfo: memFree=1434424/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915644 CPUtime=2.87
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 19721 0 1 0 232 55 0 0 25 0 8 0 155907496 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228911 19457 2178 14 0 215381 0
[pid=11550/tid=11552] ppid=11548 vsize=915644 CPUtime=0.14
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 3093 0 0 0 13 1 0 0 16 0 8 0 155907499 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915644 CPUtime=0.2
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 434 0 0 0 20 0 0 0 15 0 8 0 155907503 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915644 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937619456 19457 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915644

[startup+6.17803 s]
/proc/loadavg: 1.77 1.77 1.89 3/100 11558
/proc/meminfo: memFree=1409272/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=6.07
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 26354 0 1 0 546 61 0 0 25 0 8 0 155907496 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141941 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 26084 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.35
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 9224 0 0 0 31 4 0 0 16 0 8 0 155907499 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.34
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 518 0 0 0 33 1 0 0 15 0 8 0 155907503 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 26084 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915744

[startup+12.6547 s]
/proc/loadavg: 1.79 1.78 1.90 5/100 11558
/proc/meminfo: memFree=1409272/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=12.55
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 26362 0 1 0 1193 62 0 0 25 0 8 0 155907496 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 26090 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.35
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 9224 0 0 0 31 4 0 0 16 0 8 0 155907499 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.35
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 525 0 0 0 34 1 0 0 16 0 8 0 155907503 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 26090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915744

[startup+25.5351 s]
/proc/loadavg: 1.84 1.79 1.90 3/100 11558
/proc/meminfo: memFree=1409336/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=25.39
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 26371 0 1 0 2477 62 0 0 25 0 8 0 155907496 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074151898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 26095 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.35
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 9224 0 0 0 31 4 0 0 16 0 8 0 155907499 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.36
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 531 0 0 0 35 1 0 0 16 0 8 0 155907503 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 26095 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915744

[startup+51.1697 s]
/proc/loadavg: 1.89 1.80 1.90 3/100 11558
/proc/meminfo: memFree=1409400/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=51.02
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 26373 0 1 0 5039 63 0 0 25 0 8 0 155907496 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 26096 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.35
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 9224 0 0 0 31 4 0 0 16 0 8 0 155907499 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.37
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 532 0 0 0 36 1 0 0 16 0 8 0 155907503 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 26096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915744

[startup+102.436 s]
/proc/loadavg: 2.03 1.85 1.91 3/100 11558
/proc/meminfo: memFree=1409464/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=102.23
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 26381 0 1 0 10160 63 0 0 25 0 8 0 155907496 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 26101 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.35
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 9224 0 0 0 31 4 0 0 16 0 8 0 155907499 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 539 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 915744

[startup+162.458 s]
/proc/loadavg: 2.07 1.89 1.91 3/100 11558
/proc/meminfo: memFree=1409464/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=162.16
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 26381 0 1 0 16153 63 0 0 25 0 8 0 155907496 937721856 26101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074149211 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 915744

[startup+1483.24 s]
/proc/loadavg: 2.00 2.01 1.94 3/100 11616
/proc/meminfo: memFree=1421376/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1481.56
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 148086 70 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074151898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 915744

[startup+1543.29 s]
/proc/loadavg: 2.08 2.02 1.94 3/100 11616
/proc/meminfo: memFree=1421376/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1541.54
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 154084 70 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 915744

[startup+1603.35 s]
/proc/loadavg: 2.11 2.03 1.95 3/100 11616
/proc/meminfo: memFree=1421376/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1601.53
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 160082 71 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 915744

[startup+1663.39 s]
/proc/loadavg: 2.04 2.02 1.95 3/100 11616
/proc/meminfo: memFree=1421312/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1661.53
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 166082 71 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074168120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 915744

[startup+1723.44 s]
/proc/loadavg: 2.11 2.05 1.96 3/100 11616
/proc/meminfo: memFree=1421312/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1721.52
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 172081 71 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074152052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 915744

[startup+1783.49 s]
/proc/loadavg: 2.04 2.04 1.96 3/100 11616
/proc/meminfo: memFree=1421248/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1781.48
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 178077 71 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074151898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.1 s]
/proc/loadavg: 2.03 2.03 1.96 3/100 11616
/proc/meminfo: memFree=1421248/2055920 swapFree=4192812/4192956
[pid=11550] ppid=11548 vsize=915744 CPUtime=1800.09
/proc/11550/stat : 11550 (java) R 11548 11550 11481 0 -1 0 33793 0 1 0 179938 71 0 0 25 0 8 0 155907496 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074210217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11550/statm: 228936 33510 2530 14 0 215406 0
[pid=11550/tid=11552] ppid=11548 vsize=915744 CPUtime=0.49
/proc/11550/task/11552/stat : 11552 (java) S 11548 11550 11481 0 -1 64 16632 0 0 0 43 6 0 0 16 0 8 0 155907499 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11553] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11553/stat : 11553 (java) S 11548 11550 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11554] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11554/stat : 11554 (java) S 11548 11550 11481 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907500 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11555] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11555/stat : 11555 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11556] ppid=11548 vsize=915744 CPUtime=0.38
/proc/11550/task/11556/stat : 11556 (java) S 11548 11550 11481 0 -1 64 540 0 0 0 37 1 0 0 16 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11557] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11557/stat : 11557 (java) S 11548 11550 11481 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11550/tid=11558] ppid=11548 vsize=915744 CPUtime=0
/proc/11550/task/11558/stat : 11558 (java) S 11548 11550 11481 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155907503 937721856 33510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 1802.21
CPU time (s): 1800.14
CPU user time (s): 1799.4
CPU system time (s): 0.734888
CPU usage (%): 99.8852
Max. virtual memory (cumulated for all children) (KiB): 915788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.734888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33808
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= 38259
involuntary context switches= 50494

runsolver used 2.07868 s user time and 5.9041 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 09:18:47 UTC 2007


IDJOB= 210698
IDBENCH= 4639
FILE ID= node17/210698-1168075127

PBS_JOBID= 3475800

Free space on /tmp= 66311 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f7a273ee733be68f959a2f3726847276

RANDOM SEED= 267414218

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.236
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.236
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:       1504336 kB
Buffers:         46336 kB
Cached:         237496 kB
SwapCached:          0 kB
Active:         257268 kB
Inactive:       204856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1504336 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3860 kB
Writeback:           0 kB
Mapped:         207352 kB
Slab:            73864 kB
Committed_AS:  4523408 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= 66316 MiB



End job on node17 on Sat Jan  6 09:48:50 UTC 2007