Trace number 202741

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 ESACUNSAT 403.932 405.894

DiagnosticValue
CHECKS2477981985
NODES1937455

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-7_ext.xml
MD5SUMa8611361fc071f36f209f12d9cff780e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark101.315
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/202741-1168153829/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.42	       =>  wckTime=0.103  cpuTime=0.1  mem=6M951
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=333  nbRelationTypes=333  nbExtensionStructures=333  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=333  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2755  maxDegree=21
0.64	     maxArity=2
0.64	       =>  wckTime=0.325  cpuTime=0.24  mem=12M803
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.85	       =>  wckTime=0.533  cpuTime=0.38  mem=15M8
0.90	   
0.90	   preprocessing
0.90	     nbConstraintChecks=62257  nbPropagations=850  nbRevisions=6093  nbUselessRevisions=4958  nbSingletonTests=50
0.90	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
0.90	       =>  wckTime=0.051  cpuTime=0.03  mem=15M8
0.93	   
0.93	   search
0.93	     run=0  nbConstraintChecks=32786  nbPropagations=1325  nbRevisions=11543  nbUselessRevisions=9465  nbAssignments=26
0.93	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=41  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.93	     nbTooLargeKeys=0
0.93	       =>  wckTime=0.075  cpuTime=0.05  mem=15M8
0.95	   
0.95	   search
0.95	     run=1  nbConstraintChecks=83907  nbPropagations=3458  nbRevisions=32776  nbUselessRevisions=26790  nbAssignments=65
0.95	     nbFailedAssignments=21  nbBacktracks=26  nbVisitedNodes=105  nbRestartNogoods=1  mapSize=24  nbInferences=0
0.95	     nbTooLargeKeys=0
0.95	       =>  wckTime=0.098  cpuTime=0.07  mem=15M8
0.97	   
0.97	   search
0.97	     run=2  nbConstraintChecks=142772  nbPropagations=6465  nbRevisions=65136  nbUselessRevisions=53077
0.97	     nbAssignments=111  nbFailedAssignments=37  nbBacktracks=48  nbVisitedNodes=185  nbRestartNogoods=5  mapSize=46
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.116  cpuTime=0.08  mem=15M8
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=235717  nbPropagations=10771  nbRevisions=113748  nbUselessRevisions=92333
0.99	     nbAssignments=182  nbFailedAssignments=66  nbBacktracks=81  nbVisitedNodes=306  nbRestartNogoods=10  mapSize=76
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.136  cpuTime=0.1  mem=15M8
1.02	   
1.02	   search
1.02	     run=4  nbConstraintChecks=382531  nbPropagations=17159  nbRevisions=187281  nbUselessRevisions=151513
1.02	     nbAssignments=291  nbFailedAssignments=100  nbBacktracks=133  nbVisitedNodes=466  nbRestartNogoods=15  mapSize=123
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.167  cpuTime=0.12  mem=15M8
1.06	   
1.06	   search
1.06	     run=5  nbConstraintChecks=557766  nbPropagations=26016  nbRevisions=292995  nbUselessRevisions=236399
1.06	     nbAssignments=432  nbFailedAssignments=158  nbBacktracks=208  nbVisitedNodes=706  nbRestartNogoods=18  mapSize=183
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.206  cpuTime=0.16  mem=15M8
1.11	   
1.11	   search
1.11	     run=6  nbConstraintChecks=783219  nbPropagations=38338  nbRevisions=444005  nbUselessRevisions=357838
1.11	     nbAssignments=623  nbFailedAssignments=228  nbBacktracks=321  nbVisitedNodes=1031  nbRestartNogoods=23  mapSize=280
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.254  cpuTime=0.21  mem=15M8
1.18	   
1.18	   search
1.18	     run=7  nbConstraintChecks=1099369  nbPropagations=55533  nbRevisions=658594  nbUselessRevisions=530259
1.18	     nbAssignments=896  nbFailedAssignments=324  nbBacktracks=491  nbVisitedNodes=1488  nbRestartNogoods=28  mapSize=409
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.324  cpuTime=0.27  mem=15M8
1.29	   
1.29	   search
1.29	     run=8  nbConstraintChecks=1628733  nbPropagations=80736  nbRevisions=978533  nbUselessRevisions=787165
1.29	     nbAssignments=1339  nbFailedAssignments=504  nbBacktracks=750  nbVisitedNodes=2253  nbRestartNogoods=33
1.29	     mapSize=635  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.434  cpuTime=0.37  mem=15M8
1.45	   
1.45	   search
1.45	     run=9  nbConstraintChecks=2480790  nbPropagations=117977  nbRevisions=1462013  nbUselessRevisions=1176186
1.45	     nbAssignments=2002  nbFailedAssignments=776  nbBacktracks=1134  nbVisitedNodes=3404  nbRestartNogoods=34
1.45	     mapSize=962  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.602  cpuTime=0.52  mem=15M8
1.48	   
1.48	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=15M8)
1.66	   
1.66	   search
1.66	     run=10  nbConstraintChecks=3628177  nbPropagations=172119  nbRevisions=2172441  nbUselessRevisions=1748421
1.66	     nbAssignments=2992  nbFailedAssignments=1181  nbBacktracks=1711  nbVisitedNodes=5104  nbRestartNogoods=43
1.66	       =>  wckTime=0.812  cpuTime=0.73  mem=15M8
1.96	   
1.96	   search
1.96	     run=11  nbConstraintChecks=5419247  nbPropagations=251826  nbRevisions=3228908  nbUselessRevisions=2599384
1.96	     nbAssignments=4436  nbFailedAssignments=1758  nbBacktracks=2575  nbVisitedNodes=7602  nbRestartNogoods=52
1.96	       =>  wckTime=1.111  cpuTime=1.03  mem=15M8
2.38	   
2.38	   search
2.38	     run=12  nbConstraintChecks=7918209  nbPropagations=368442  nbRevisions=4770547  nbUselessRevisions=3840479
2.38	     nbAssignments=6524  nbFailedAssignments=2541  nbBacktracks=3874  nbVisitedNodes=11207  nbRestartNogoods=54
2.38	       =>  wckTime=1.532  cpuTime=1.44  mem=15M8
3.03	   
3.03	   search
3.03	     run=13  nbConstraintChecks=11846337  nbPropagations=541680  nbRevisions=7075883  nbUselessRevisions=5696851
3.03	     nbAssignments=9710  nbFailedAssignments=3772  nbBacktracks=5820  nbVisitedNodes=16700  nbRestartNogoods=60
3.03	       =>  wckTime=2.181  cpuTime=2.09  mem=15M8
4.02	   
4.02	   search
4.02	     run=14  nbConstraintChecks=17839471  nbPropagations=800764  nbRevisions=10550429  nbUselessRevisions=8497388
4.02	     nbAssignments=14544  nbFailedAssignments=5657  nbBacktracks=8740  nbVisitedNodes=25009  nbRestartNogoods=69
4.02	       =>  wckTime=3.166  cpuTime=3.07  mem=15M8
5.46	   
5.46	   search
5.46	     run=15  nbConstraintChecks=26613867  nbPropagations=1186900  nbRevisions=15754553  nbUselessRevisions=12696538
5.46	     nbAssignments=21611  nbFailedAssignments=8322  nbBacktracks=13119  nbVisitedNodes=37144  nbRestartNogoods=81
5.46	       =>  wckTime=4.612  cpuTime=4.51  mem=15M8
7.64	   
7.64	   search
7.64	     run=16  nbConstraintChecks=39703488  nbPropagations=1764714  nbRevisions=23508562  nbUselessRevisions=18943825
7.64	     nbAssignments=32250  nbFailedAssignments=12384  nbBacktracks=19687  nbVisitedNodes=55554  nbRestartNogoods=87
7.64	       =>  wckTime=6.784  cpuTime=6.67  mem=15M8
10.71	   
10.71	   search
10.71	     run=17  nbConstraintChecks=58436544  nbPropagations=2614385  nbRevisions=34883979  nbUselessRevisions=28105234
10.71	     nbAssignments=47775  nbFailedAssignments=18047  nbBacktracks=29540  nbVisitedNodes=82041  nbRestartNogoods=100
10.71	       =>  wckTime=9.858  cpuTime=9.73  mem=15M983
15.79	   
15.79	   search
15.79	     run=18  nbConstraintChecks=88945593  nbPropagations=3908976  nbRevisions=52351635  nbUselessRevisions=42201548
15.79	     nbAssignments=72210  nbFailedAssignments=27701  nbBacktracks=44318  nbVisitedNodes=124493  nbRestartNogoods=109
15.79	       =>  wckTime=14.937  cpuTime=14.78  mem=15M983
23.74	   
23.74	   search
23.74	     run=19  nbConstraintChecks=137464904  nbPropagations=5886546  nbRevisions=79350120  nbUselessRevisions=64027209
23.74	     nbAssignments=109407  nbFailedAssignments=42721  nbBacktracks=66489  nbVisitedNodes=189550  nbRestartNogoods=116
23.74	       =>  wckTime=22.89  cpuTime=22.7  mem=15M983
34.62	   
34.62	   search
34.62	     run=20  nbConstraintChecks=203169543  nbPropagations=8820554  nbRevisions=119267227  nbUselessRevisions=96270294
34.62	     nbAssignments=163255  nbFailedAssignments=63310  nbBacktracks=99743  nbVisitedNodes=282176  nbRestartNogoods=123
34.62	       =>  wckTime=33.77  cpuTime=33.53  mem=15M983
51.05	   
51.05	   search
51.05	     run=21  nbConstraintChecks=302722168  nbPropagations=13197986  nbRevisions=178543272  nbUselessRevisions=144106890
51.05	     nbAssignments=243908  nbFailedAssignments=94075  nbBacktracks=149623  nbVisitedNodes=421095  nbRestartNogoods=137
51.05	       =>  wckTime=50.193  cpuTime=49.87  mem=15M983
76.07	   
76.07	   search
76.07	     run=22  nbConstraintChecks=452918570  nbPropagations=19764737  nbRevisions=267778447  nbUselessRevisions=216191872
76.07	     nbAssignments=366753  nbFailedAssignments=142092  nbBacktracks=224442  nbVisitedNodes=633659  nbRestartNogoods=152
76.07	       =>  wckTime=75.219  cpuTime=74.78  mem=15M983
114.54	   
114.54	   search
114.54	     run=23  nbConstraintChecks=688211387  nbPropagations=29671474  nbRevisions=402771931  nbUselessRevisions=325240903
114.54	     nbAssignments=551209  nbFailedAssignments=214315  nbBacktracks=336669  nbVisitedNodes=953547  nbRestartNogoods=167
114.54	       =>  wckTime=113.69  cpuTime=113.07  mem=15M983
172.73	   
172.73	   search
172.73	     run=24  nbConstraintChecks=1045256610  nbPropagations=44609366  nbRevisions=606802904  nbUselessRevisions=490075123
172.73	     nbAssignments=827026  nbFailedAssignments=321771  nbBacktracks=505017  nbVisitedNodes=1431476  nbRestartNogoods=181
172.73	       =>  wckTime=171.88  cpuTime=170.99  mem=15M983
258.62	   
258.62	   search
258.62	     run=25  nbConstraintChecks=1571051221  nbPropagations=66993823  nbRevisions=912750166  nbUselessRevisions=737263798
258.62	     nbAssignments=1238625  nbFailedAssignments=480851  nbBacktracks=757529  nbVisitedNodes=2142130
258.62	     nbRestartNogoods=190
258.63	       =>  wckTime=257.773  cpuTime=256.48  mem=15M983
387.90	   
387.90	   search
387.90	     run=26  nbConstraintChecks=2366811552  nbPropagations=100559097  nbRevisions=1371963057
387.90	     nbUselessRevisions=1108301403  nbAssignments=1853935  nbFailedAssignments=717386  nbBacktracks=1136298
387.90	     nbVisitedNodes=3203823  nbRestartNogoods=206
387.90	       =>  wckTime=387.05  cpuTime=385.16  mem=15M983
405.82	   
405.82	   search
405.82	     run=27  nbConstraintChecks=2477919728  nbPropagations=135661361  nbRevisions=1852371728
405.83	     nbUselessRevisions=1496443520  nbAssignments=1937455  nbFailedAssignments=749569  nbBacktracks=1187625
405.83	     nbVisitedNodes=3348002  nbRestartNogoods=216
405.83	       =>  wckTime=404.973  cpuTime=402.99  mem=15M983
405.83	   
405.83	   global
405.83	     nbConstraintChecks=2477981985  nbPropagations=135662211  nbRevisions=1852377821  nbUselessRevisions=1496448478
405.83	     nbRestartNogoods=216  solvingWckTime=404.974  solvingCpuTime=402.99  expiredTime=no  totalExploration=yes
405.83	     nbFoundSolutions=0  globalCpuTime=403.42
405.83	       =>  wckTime=405.511  cpuTime=403.37  mem=15M983
405.83	   
405.83	s UNSATISFIABLE
405.83	d NODES 1937455
405.83	d CHECKS 2477981985
405.83	   
405.83	   totalWckTime=405.595  totalCpuTime=403.43

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node48/watcher-202741-1168153829 -o ROOT/results/node48/solver-202741-1168153829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202741-1168153829/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.57 1.57 1.80 4/85 23696
/proc/meminfo: memFree=1753512/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=906644 CPUtime=0.02
/proc/23695/stat : 23695 (java) S 23693 23695 23519 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 163781579 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 226661 1818 1036 14 0 214244 0
[pid=23695/tid=23697] ppid=23693 vsize=906644 CPUtime=0
/proc/23695/task/23697/stat : 23697 (java) R 23693 23695 23519 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 163781583 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104682 s]
/proc/loadavg: 1.57 1.57 1.80 4/85 23696
/proc/meminfo: memFree=1753512/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=914988 CPUtime=0.09
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 2998 0 1 0 8 1 0 0 20 0 8 0 163781579 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228747 2744 1427 14 0 215242 0
[pid=23695/tid=23697] ppid=23693 vsize=914988 CPUtime=0
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 163781583 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51272 s]
/proc/loadavg: 1.57 1.57 1.80 4/85 23696
/proc/meminfo: memFree=1753512/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915328 CPUtime=0.49
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 6776 0 1 0 46 3 0 0 18 0 8 0 163781579 937295872 6515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228832 6515 2137 14 0 215302 0
[pid=23695/tid=23697] ppid=23693 vsize=915328 CPUtime=0
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 163781583 937295872 6515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33397 s]
/proc/loadavg: 1.57 1.57 1.80 3/92 23703
/proc/meminfo: memFree=1729584/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=1.31
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8730 0 1 0 125 6 0 0 24 0 8 0 163781579 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8468 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.22
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8468 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.97994 s]
/proc/loadavg: 1.57 1.57 1.80 3/92 23703
/proc/meminfo: memFree=1729264/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=2.95
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8769 0 1 0 289 6 0 0 25 0 8 0 163781579 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8506 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8506 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456

[startup+6.18323 s]
/proc/loadavg: 1.61 1.58 1.80 3/92 23703
/proc/meminfo: memFree=1729136/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=6.13
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8776 0 1 0 607 6 0 0 25 0 8 0 163781579 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8513 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 394 0 0 0 23 1 0 0 15 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456

[startup+12.6538 s]
/proc/loadavg: 1.72 1.60 1.80 3/92 23703
/proc/meminfo: memFree=1729144/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=12.57
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8783 0 1 0 1251 6 0 0 25 0 8 0 163781579 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8519 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915456

[startup+25.506 s]
/proc/loadavg: 1.78 1.62 1.81 3/92 23703
/proc/meminfo: memFree=1729144/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=25.36
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8788 0 1 0 2530 6 0 0 25 0 8 0 163781579 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8524 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8524 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456

[startup+51.1104 s]
/proc/loadavg: 1.93 1.66 1.82 3/92 23703
/proc/meminfo: memFree=1729208/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=50.84
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8792 0 1 0 5078 6 0 0 25 0 8 0 163781579 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8528 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915456

[startup+102.315 s]
/proc/loadavg: 1.97 1.71 1.82 4/92 23703
/proc/meminfo: memFree=1729208/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=101.81
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8795 0 1 0 10175 6 0 0 25 0 8 0 163781579 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8531 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915456

[startup+162.363 s]
/proc/loadavg: 1.99 1.76 1.83 4/92 23703
/proc/meminfo: memFree=1729144/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=161.58
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8797 0 1 0 16152 6 0 0 25 0 8 0 163781579 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8533 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 915456

[startup+222.409 s]
/proc/loadavg: 1.99 1.80 1.83 3/92 23703
/proc/meminfo: memFree=1729080/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=221.34
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8800 0 1 0 22128 6 0 0 25 0 8 0 163781579 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8536 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 915456

[startup+282.458 s]
/proc/loadavg: 2.15 1.87 1.85 3/92 23703
/proc/meminfo: memFree=1660608/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=281.11
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8802 0 1 0 28105 6 0 0 25 0 8 0 163781579 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803371 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8538 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 915456

[startup+342.502 s]
/proc/loadavg: 2.06 1.89 1.86 3/92 23703
/proc/meminfo: memFree=1660544/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=340.88
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8802 0 1 0 34082 6 0 0 25 0 8 0 163781579 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8538 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 915456

[startup+402.55 s]
/proc/loadavg: 2.02 1.91 1.86 3/92 23703
/proc/meminfo: memFree=1660480/2055920 swapFree=4192812/4192956
[pid=23695] ppid=23693 vsize=915456 CPUtime=400.65
/proc/23695/stat : 23695 (java) R 23693 23695 23519 0 -1 0 8805 0 1 0 40058 7 0 0 25 0 8 0 163781579 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23695/statm: 228864 8541 2524 14 0 215334 0
[pid=23695/tid=23697] ppid=23693 vsize=915456 CPUtime=0.03
/proc/23695/task/23697/stat : 23697 (java) S 23693 23695 23519 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 163781583 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23698] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23698/stat : 23698 (java) S 23693 23695 23519 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163781584 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23699] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23699/stat : 23699 (java) S 23693 23695 23519 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163781584 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23700] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23700/stat : 23700 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23701] ppid=23693 vsize=915456 CPUtime=0.24
/proc/23695/task/23701/stat : 23701 (java) S 23693 23695 23519 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23702] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23702/stat : 23702 (java) S 23693 23695 23519 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23695/tid=23703] ppid=23693 vsize=915456 CPUtime=0
/proc/23695/task/23703/stat : 23703 (java) S 23693 23695 23519 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 163781587 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 405.894
CPU time (s): 403.932
CPU user time (s): 403.853
CPU system time (s): 0.078987
CPU usage (%): 99.5165
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.853
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8896
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= 9352
involuntary context switches= 21975

runsolver used 0.517921 s user time and 1.2928 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sun Jan  7 07:10:29 UTC 2007


IDJOB= 202741
IDBENCH= 3880
FILE ID= node48/202741-1168153829

PBS_JOBID= 3478498

Free space on /tmp= 66560 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202741-1168153829/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-202741-1168153829 -o ROOT/results/node48/solver-202741-1168153829 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/202741-1168153829/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a8611361fc071f36f209f12d9cff780e

RANDOM SEED= 892032288

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1753928 kB
Buffers:         36356 kB
Cached:          89036 kB
SwapCached:          0 kB
Active:         176304 kB
Inactive:        68688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1852 kB
Writeback:           0 kB
Mapped:         139784 kB
Slab:            42128 kB
Committed_AS:  4202384 kB
PageTables:       1980 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= 66560 MiB



End job on node48 on Sun Jan  7 07:17:15 UTC 2007