Trace number 225326

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 231.646 231.932

DiagnosticValue
CHECKS4561260999
NODES501532

General information on the benchmark

Nametightness/tightness0.9/
rand-2-40-180-84-900-27_ext.xml
MD5SUM3ac0e5fd51cdfeaeb41cf7ea716924ba
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 benchmark231.646
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/225326-1168271896/unknown.xml
0.41	   
0.41	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.45	     nbVariables=40  nbDomainTypes=1  minDomainSize=180  maxDomainSize=180
0.45	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.45	   
0.45	   relations being loaded...
0.80	   
0.80	   constraints being loaded...
0.93	     nbConstraints=84  nbRelationTypes=84  nbExtensionStructures=84  nbSharedExtensionStructures=0
0.93	     nbConflictsStructures=84  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=8  maxArity=2
0.93	       =>  wckTime=0.582  cpuTime=0.52  mem=36M295
0.98	   
0.98	   solver IterativeSystematicSolver being built... 
1.13	       =>  wckTime=0.787  cpuTime=0.65  mem=16M389
1.20	   
1.20	   preprocessing
1.20	     nbConstraintChecks=504326  nbPropagations=950  nbRevisions=3383  nbUselessRevisions=2026  nbSingletonTests=52
1.20	     nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=0  detectedInconsistency=no
1.20	       =>  wckTime=0.064  cpuTime=0.05  mem=16M389
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=214404  nbPropagations=1836  nbRevisions=6727  nbUselessRevisions=3599  nbAssignments=30
1.25	     nbFailedAssignments=15  nbBacktracks=11  nbVisitedNodes=53  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.25	     nbTooLargeKeys=0
1.25	       =>  wckTime=0.108  cpuTime=0.08  mem=16M389
1.31	   
1.31	   search
1.31	     run=1  nbConstraintChecks=1209056  nbPropagations=6627  nbRevisions=24118  nbUselessRevisions=12328
1.31	     nbAssignments=139  nbFailedAssignments=101  nbBacktracks=26  nbVisitedNodes=258  nbRestartNogoods=5  mapSize=22
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.169  cpuTime=0.14  mem=16M389
1.38	   
1.38	   search
1.38	     run=2  nbConstraintChecks=2358773  nbPropagations=14828  nbRevisions=54130  nbUselessRevisions=27510
1.38	     nbAssignments=261  nbFailedAssignments=166  nbBacktracks=48  nbVisitedNodes=430  nbRestartNogoods=15  mapSize=42
1.38	     nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.24  cpuTime=0.2  mem=16M389
1.46	   
1.46	   search
1.46	     run=3  nbConstraintChecks=3623311  nbPropagations=27598  nbRevisions=101358  nbUselessRevisions=50827
1.46	     nbAssignments=401  nbFailedAssignments=270  nbBacktracks=82  nbVisitedNodes=704  nbRestartNogoods=22  mapSize=73
1.46	     nbInferences=0  nbTooLargeKeys=0
1.46	       =>  wckTime=0.319  cpuTime=0.28  mem=16M389
1.59	   
1.59	   search
1.59	     run=4  nbConstraintChecks=5788902  nbPropagations=47306  nbRevisions=174195  nbUselessRevisions=85975
1.59	     nbAssignments=609  nbFailedAssignments=426  nbBacktracks=132  nbVisitedNodes=1106  nbRestartNogoods=26  mapSize=117
1.59	     nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.45  cpuTime=0.41  mem=16M389
1.75	   
1.75	   search
1.75	     run=5  nbConstraintChecks=8391702  nbPropagations=77088  nbRevisions=284097  nbUselessRevisions=138159
1.75	     nbAssignments=931  nbFailedAssignments=670  nbBacktracks=208  nbVisitedNodes=1729  nbRestartNogoods=44  mapSize=183
1.75	     nbInferences=0  nbTooLargeKeys=0
1.75	       =>  wckTime=0.613  cpuTime=0.57  mem=16M389
1.95	   
1.95	   search
1.95	     run=6  nbConstraintChecks=11847481  nbPropagations=117791  nbRevisions=436106  nbUselessRevisions=210057
1.95	     nbAssignments=1278  nbFailedAssignments=901  nbBacktracks=321  nbVisitedNodes=2390  nbRestartNogoods=47
1.95	     mapSize=283  nbInferences=0  nbTooLargeKeys=0
1.95	       =>  wckTime=0.809  cpuTime=0.76  mem=17M361
2.35	   
2.35	   search
2.35	     run=7  nbConstraintChecks=18305927  nbPropagations=183552  nbRevisions=681919  nbUselessRevisions=325224
2.35	     nbAssignments=2069  nbFailedAssignments=1505  nbBacktracks=492  nbVisitedNodes=3907  nbRestartNogoods=63
2.35	     mapSize=435  nbInferences=0  nbTooLargeKeys=0
2.35	       =>  wckTime=1.206  cpuTime=1.14  mem=17M361
2.79	   
2.79	   search
2.79	     run=8  nbConstraintChecks=26254718  nbPropagations=275824  nbRevisions=1026773  nbUselessRevisions=486763
2.79	     nbAssignments=2867  nbFailedAssignments=2044  nbBacktracks=748  nbVisitedNodes=5434  nbRestartNogoods=67
2.79	     mapSize=657  nbInferences=0  nbTooLargeKeys=0
2.79	       =>  wckTime=1.65  cpuTime=1.58  mem=17M361
3.60	   
3.60	   search
3.60	     run=9  nbConstraintChecks=40431900  nbPropagations=423412  nbRevisions=1576028  nbUselessRevisions=742611
3.60	     nbAssignments=4613  nbFailedAssignments=3388  nbBacktracks=1132  nbVisitedNodes=8802  nbRestartNogoods=76
3.60	     mapSize=997  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=2.463  cpuTime=2.38  mem=17M361
3.64	   
3.64	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=17M361)
4.60	   
4.60	   search
4.60	     run=10  nbConstraintChecks=59435530  nbPropagations=631627  nbRevisions=2358468  nbUselessRevisions=1108988
4.60	     nbAssignments=6448  nbFailedAssignments=4643  nbBacktracks=1710  nbVisitedNodes=12307  nbRestartNogoods=82
4.60	       =>  wckTime=3.457  cpuTime=3.36  mem=17M361
6.03	   
6.03	   search
6.03	     run=11  nbConstraintChecks=86861340  nbPropagations=945178  nbRevisions=3532177  nbUselessRevisions=1656531
6.03	     nbAssignments=9744  nbFailedAssignments=7070  nbBacktracks=2577  nbVisitedNodes=18669  nbRestartNogoods=102
6.03	       =>  wckTime=4.89  cpuTime=4.8  mem=17M361
8.42	   
8.42	   search
8.42	     run=12  nbConstraintChecks=134519229  nbPropagations=1413070  nbRevisions=5295810  nbUselessRevisions=2481798
8.42	     nbAssignments=14421  nbFailedAssignments=10445  nbBacktracks=3875  nbVisitedNodes=27676  nbRestartNogoods=116
8.42	       =>  wckTime=7.282  cpuTime=7.19  mem=17M361
11.54	   
11.54	   search
11.54	     run=13  nbConstraintChecks=193453695  nbPropagations=2123567  nbRevisions=7965114  nbUselessRevisions=3725669
11.54	     nbAssignments=22232  nbFailedAssignments=16308  nbBacktracks=5821  nbVisitedNodes=42853  nbRestartNogoods=126
11.54	       =>  wckTime=10.398  cpuTime=10.3  mem=17M361
16.08	   
16.08	   search
16.08	     run=14  nbConstraintChecks=281420878  nbPropagations=3160446  nbRevisions=11852053  nbUselessRevisions=5534143
16.08	     nbAssignments=32400  nbFailedAssignments=23552  nbBacktracks=8741  nbVisitedNodes=62264  nbRestartNogoods=140
16.08	       =>  wckTime=14.945  cpuTime=14.85  mem=17M361
23.08	   
23.08	   search
23.08	     run=15  nbConstraintChecks=418572187  nbPropagations=4704371  nbRevisions=17637829  nbUselessRevisions=8227482
23.08	     nbAssignments=48216  nbFailedAssignments=34986  nbBacktracks=13119  nbVisitedNodes=92582  nbRestartNogoods=153
23.08	       =>  wckTime=21.938  cpuTime=21.84  mem=17M361
34.00	   
34.00	   search
34.00	     run=16  nbConstraintChecks=635534943  nbPropagations=7013944  nbRevisions=26317213  nbUselessRevisions=12278815
34.00	     nbAssignments=72600  nbFailedAssignments=52800  nbBacktracks=19687  nbVisitedNodes=139445  nbRestartNogoods=158
34.00	       =>  wckTime=32.859  cpuTime=32.75  mem=17M361
50.65	   
50.65	   search
50.65	     run=17  nbConstraintChecks=960117772  nbPropagations=10540200  nbRevisions=39507262  nbUselessRevisions=18428013
50.65	     nbAssignments=111025  nbFailedAssignments=81369  nbBacktracks=29539  nbVisitedNodes=213501  nbRestartNogoods=178
50.65	       =>  wckTime=49.513  cpuTime=49.38  mem=17M361
75.12	   
75.12	   search
75.12	     run=18  nbConstraintChecks=1437676965  nbPropagations=15859548  nbRevisions=59366281  nbUselessRevisions=27683747
75.12	     nbAssignments=167552  nbFailedAssignments=123115  nbBacktracks=44317  nbVisitedNodes=322525  nbRestartNogoods=200
75.12	       =>  wckTime=73.98  cpuTime=73.85  mem=17M361
114.26	   
114.26	   search
114.26	     run=19  nbConstraintChecks=2205163029  nbPropagations=23978585  nbRevisions=89723753  nbUselessRevisions=41841553
114.26	     nbAssignments=255131  nbFailedAssignments=188524  nbBacktracks=66485  nbVisitedNodes=491535  nbRestartNogoods=223
114.26	       =>  wckTime=113.125  cpuTime=112.96  mem=17M361
171.76	   
171.76	   search
171.76	     run=20  nbConstraintChecks=3346816600  nbPropagations=36121482  nbRevisions=135155106  nbUselessRevisions=63065132
171.76	     nbAssignments=380103  nbFailedAssignments=280238  nbBacktracks=99737  nbVisitedNodes=731611  nbRestartNogoods=235
171.76	       =>  wckTime=170.621  cpuTime=170.41  mem=17M361
231.87	   
231.88	   search
231.88	     run=21  nbConstraintChecks=4560756673  nbPropagations=52304486  nbRevisions=195776204  nbUselessRevisions=91410586
231.88	     nbAssignments=501532  nbFailedAssignments=366120  nbBacktracks=135285  nbVisitedNodes=962809  nbRestartNogoods=236
231.88	       =>  wckTime=230.736  cpuTime=230.48  mem=17M361
231.88	   
231.88	   global
231.88	     nbConstraintChecks=4561260999  nbPropagations=52305436  nbRevisions=195779587  nbUselessRevisions=91412612
231.88	     nbRestartNogoods=236  solvingWckTime=230.737  solvingCpuTime=230.48  expiredTime=no  totalExploration=yes
231.88	     nbFoundSolutions=0  globalCpuTime=231.2
231.88	       =>  wckTime=231.529  cpuTime=231.14  mem=17M361
231.88	   
231.88	s UNSATISFIABLE
231.88	d NODES 501532
231.88	d CHECKS 4561260999
231.88	   
231.88	   totalWckTime=231.606  totalCpuTime=231.21

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

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

/proc/loadavg: 0.92 0.98 1.15 2/78 23734
/proc/meminfo: memFree=873704/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=1784 CPUtime=0
/proc/23733/stat : 23733 (java) D 23731 23733 23050 0 -1 0 165 0 0 0 0 0 0 0 21 0 1 0 175584198 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/23733/statm: 446 136 102 14 0 91 0

[startup+0.106396 s]
/proc/loadavg: 0.92 0.98 1.15 2/78 23734
/proc/meminfo: memFree=873704/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=907676 CPUtime=0.04
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 2396 0 1 0 3 1 0 0 19 0 4 0 175584198 929460224 2143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 226919 2144 1189 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676

[startup+0.514476 s]
/proc/loadavg: 0.92 0.98 1.15 2/78 23734
/proc/meminfo: memFree=873704/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915328 CPUtime=0.44
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 6993 0 1 0 39 5 0 0 16 0 8 0 175584198 937295872 6732 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 228832 6732 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33562 s]
/proc/loadavg: 0.92 0.98 1.15 2/85 23741
/proc/meminfo: memFree=827376/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=1.26
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14363 0 1 0 117 9 0 0 16 0 8 0 175584198 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14101 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.14
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 355 0 0 0 14 0 0 0 15 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14101 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464

[startup+2.98794 s]
/proc/loadavg: 0.92 0.98 1.15 2/85 23741
/proc/meminfo: memFree=827056/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=2.9
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14382 0 1 0 281 9 0 0 17 0 8 0 175584198 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23733/statm: 228866 14119 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 17 0 8 0 175584207 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.17
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 372 0 0 0 17 0 0 0 16 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915464

[startup+6.27256 s]
/proc/loadavg: 0.93 0.98 1.15 2/85 23741
/proc/meminfo: memFree=826992/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=6.17
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14389 0 1 0 608 9 0 0 20 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915464

[startup+12.7528 s]
/proc/loadavg: 0.93 0.98 1.15 2/85 23741
/proc/meminfo: memFree=826992/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=12.65
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 1256 9 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732137 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915464

[startup+25.5982 s]
/proc/loadavg: 0.95 0.98 1.14 2/85 23741
/proc/meminfo: memFree=827056/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=25.49
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 2540 9 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743299 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915464

[startup+51.2951 s]
/proc/loadavg: 0.96 0.98 1.14 2/85 23741
/proc/meminfo: memFree=827120/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=51.16
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 5107 9 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915464

[startup+102.578 s]
/proc/loadavg: 0.98 0.98 1.13 2/85 23741
/proc/meminfo: memFree=827056/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=102.41
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 10231 10 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915464

[startup+162.6 s]
/proc/loadavg: 0.99 0.98 1.12 2/85 23741
/proc/meminfo: memFree=826992/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=162.39
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 16229 10 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 915464

[startup+222.653 s]
/proc/loadavg: 0.99 0.98 1.10 2/91 23889
/proc/meminfo: memFree=825600/2055920 swapFree=4156316/4192956
[pid=23733] ppid=23731 vsize=915464 CPUtime=222.41
/proc/23733/stat : 23733 (java) R 23731 23733 23050 0 -1 0 14390 0 1 0 22224 17 0 0 25 0 8 0 175584198 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23733/statm: 228866 14124 2524 14 0 215336 0
[pid=23733/tid=23735] ppid=23731 vsize=915464 CPUtime=0.04
/proc/23733/task/23735/stat : 23735 (java) S 23731 23733 23050 0 -1 64 612 0 0 0 4 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23733/tid=23736] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23736/stat : 23736 (java) S 23731 23733 23050 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23737] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23737/stat : 23737 (java) S 23731 23733 23050 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175584207 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23738] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23738/stat : 23738 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23739] ppid=23731 vsize=915464 CPUtime=0.18
/proc/23733/task/23739/stat : 23739 (java) S 23731 23733 23050 0 -1 64 378 0 0 0 18 0 0 0 16 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23740] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23740/stat : 23740 (java) S 23731 23733 23050 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23733/tid=23741] ppid=23731 vsize=915464 CPUtime=0
/proc/23733/task/23741/stat : 23741 (java) S 23731 23733 23050 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175584210 937435136 14124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.41
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 231.932
CPU time (s): 231.646
CPU user time (s): 231.457
CPU system time (s): 0.188971
CPU usage (%): 99.8767
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.457
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14397
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= 5518
involuntary context switches= 9659

runsolver used 0.277957 s user time and 0.618905 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Jan  8 15:58:16 UTC 2007


IDJOB= 225326
IDBENCH= 5845
FILE ID= node21/225326-1168271896

PBS_JOBID= 3483169

Free space on /tmp= 66561 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225326-1168271896/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-225326-1168271896 -o ROOT/results/node21/solver-225326-1168271896 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/225326-1168271896/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3ac0e5fd51cdfeaeb41cf7ea716924ba

RANDOM SEED= 503734210

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        874376 kB
Buffers:         10792 kB
Cached:        1094964 kB
SwapCached:       2304 kB
Active:         584768 kB
Inactive:       545248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        874376 kB
SwapTotal:     4192956 kB
SwapFree:      4156316 kB
Dirty:            3544 kB
Writeback:           0 kB
Mapped:          33296 kB
Slab:            37116 kB
Committed_AS:  3594680 kB
PageTables:       1792 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= 66561 MiB



End job on node21 on Mon Jan  8 16:02:09 UTC 2007