Trace number 196248

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 ACSAT 407.519 408.11

DiagnosticValue
CHECKS310253738
NODES300815

General information on the benchmark

Namerandom/rand-3-24-24/
rand-3-24-24-76-632-49_ext.xml
MD5SUM43e8b6b7752c6463cc93f8445e2021d3
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark407.519
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints73
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension73
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/196248-1168070474/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.39	       =>  wckTime=0.093  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.91	   
0.91	   constraints being loaded...
1.22	     nbConstraints=73  nbRelationTypes=73  nbExtensionStructures=73  nbSharedExtensionStructures=0
1.22	     nbConflictsStructures=73  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
1.22	       =>  wckTime=0.918  cpuTime=0.81  mem=44M853
1.33	   
1.33	   solver IterativeSystematicSolver being built... 
1.48	       =>  wckTime=1.186  cpuTime=0.94  mem=33M840
1.49	   
1.49	   preprocessing
1.49	     nbConstraintChecks=0  nbPropagations=24  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.49	     detectedInconsistency=no
1.49	       =>  wckTime=0.0030  cpuTime=0.0  mem=33M840
1.59	   
1.59	   search
1.59	     run=0  nbConstraintChecks=21728  nbValidityChecks=38542  nbPropagations=319  nbRevisions=3020
1.59	     nbUselessRevisions=2387  nbAssignments=26  nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=44
1.59	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.099  cpuTime=0.07  mem=33M840
1.68	   
1.68	   search
1.68	     run=1  nbConstraintChecks=85486  nbValidityChecks=161230  nbPropagations=1265  nbRevisions=13808
1.68	     nbUselessRevisions=10971  nbAssignments=83  nbFailedAssignments=46  nbBacktracks=26  nbVisitedNodes=147
1.68	     nbRestartNogoods=1  mapSize=23  nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.196  cpuTime=0.17  mem=33M840
1.75	   
1.75	   search
1.75	     run=2  nbConstraintChecks=122014  nbValidityChecks=230082  nbPropagations=2716  nbRevisions=30143
1.75	     nbUselessRevisions=23983  nbAssignments=129  nbFailedAssignments=65  nbBacktracks=50  nbVisitedNodes=223
1.75	     nbRestartNogoods=4  mapSize=40  nbInferences=0  nbTooLargeKeys=0
1.75	       =>  wckTime=0.267  cpuTime=0.23  mem=33M840
1.89	   
1.89	   search
1.89	     run=3  nbConstraintChecks=217269  nbValidityChecks=417388  nbPropagations=5236  nbRevisions=60796
1.89	     nbUselessRevisions=48426  nbAssignments=227  nbFailedAssignments=125  nbBacktracks=83  nbVisitedNodes=399
1.89	     nbRestartNogoods=5  mapSize=67  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.404  cpuTime=0.36  mem=33M840
2.10	   
2.10	   search
2.10	     run=4  nbConstraintChecks=374739  nbValidityChecks=722668  nbPropagations=9476  nbRevisions=112310
2.10	     nbUselessRevisions=89465  nbAssignments=383  nbFailedAssignments=225  nbBacktracks=133  nbVisitedNodes=688
2.10	     nbRestartNogoods=9  mapSize=108  nbInferences=0  nbTooLargeKeys=0
2.10	       =>  wckTime=0.611  cpuTime=0.56  mem=33M840
2.30	   
2.30	   search
2.30	     run=5  nbConstraintChecks=512268  nbValidityChecks=997478  nbPropagations=15808  nbRevisions=186190
2.30	     nbUselessRevisions=148138  nbAssignments=561  nbFailedAssignments=323  nbBacktracks=209  nbVisitedNodes=1009
2.30	     nbRestartNogoods=19  mapSize=174  nbInferences=0  nbTooLargeKeys=0
2.30	       =>  wckTime=0.816  cpuTime=0.76  mem=33M840
2.59	   
2.59	   search
2.59	     run=6  nbConstraintChecks=714183  nbValidityChecks=1386936  nbPropagations=25207  nbRevisions=293358
2.59	     nbUselessRevisions=233093  nbAssignments=794  nbFailedAssignments=439  nbBacktracks=323  nbVisitedNodes=1424
2.59	     nbRestartNogoods=21  mapSize=269  nbInferences=0  nbTooLargeKeys=0
2.59	       =>  wckTime=1.105  cpuTime=1.05  mem=33M840
3.31	   
3.31	   search
3.31	     run=7  nbConstraintChecks=1219238  nbValidityChecks=2437207  nbPropagations=40479  nbRevisions=470874
3.31	     nbUselessRevisions=373618  nbAssignments=1303  nbFailedAssignments=772  nbBacktracks=493  nbVisitedNodes=2374
3.31	     nbRestartNogoods=22  mapSize=419  nbInferences=0  nbTooLargeKeys=0
3.31	       =>  wckTime=1.823  cpuTime=1.76  mem=33M840
4.38	   
4.38	   search
4.38	     run=8  nbConstraintChecks=2048775  nbValidityChecks=4077198  nbPropagations=64759  nbRevisions=763572
4.38	     nbUselessRevisions=605366  nbAssignments=2069  nbFailedAssignments=1276  nbBacktracks=749  nbVisitedNodes=3830
4.38	     nbRestartNogoods=27  mapSize=654  nbInferences=0  nbTooLargeKeys=0
4.38	       =>  wckTime=2.895  cpuTime=2.82  mem=33M840
5.30	   
5.30	   search
5.30	     run=9  nbConstraintChecks=2718515  nbValidityChecks=5479854  nbPropagations=101060  nbRevisions=1180545
5.30	     nbUselessRevisions=933987  nbAssignments=3077  nbFailedAssignments=1891  nbBacktracks=1133  nbVisitedNodes=5693
5.30	     nbRestartNogoods=33  mapSize=997  nbInferences=0  nbTooLargeKeys=0
5.30	       =>  wckTime=3.815  cpuTime=3.73  mem=34M815
5.37	   
5.37	   INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=34M815)
8.15	   
8.15	   search
8.15	     run=10  nbConstraintChecks=4844630  nbValidityChecks=9555335  nbPropagations=158132  nbRevisions=1851292
8.15	     nbUselessRevisions=1461181  nbAssignments=4636  nbFailedAssignments=2869  nbBacktracks=1709  nbVisitedNodes=8644
8.15	     nbRestartNogoods=48
8.15	       =>  wckTime=6.666  cpuTime=6.57  mem=34M815
10.44	   
10.44	   search
10.44	     run=11  nbConstraintChecks=6573596  nbValidityChecks=12931479  nbPropagations=240994  nbRevisions=2801285
10.44	     nbUselessRevisions=2208488  nbAssignments=6526  nbFailedAssignments=3889  nbBacktracks=2573  nbVisitedNodes=12122
10.44	     nbRestartNogoods=59
10.44	       =>  wckTime=8.958  cpuTime=8.86  mem=34M815
14.71	   
14.71	   search
14.71	     run=12  nbConstraintChecks=9846653  nbValidityChecks=19723833  nbPropagations=365731  nbRevisions=4215628
14.71	     nbUselessRevisions=3318670  nbAssignments=9863  nbFailedAssignments=5922  nbBacktracks=3870  nbVisitedNodes=18356
14.71	     nbRestartNogoods=67
14.71	       =>  wckTime=13.22  cpuTime=13.11  mem=34M815
20.92	   
20.92	   search
20.92	     run=13  nbConstraintChecks=14476480  nbValidityChecks=28662954  nbPropagations=545528  nbRevisions=6246804
20.92	     nbUselessRevisions=4910683  nbAssignments=14107  nbFailedAssignments=8214  nbBacktracks=5816  nbVisitedNodes=26024
20.92	     nbRestartNogoods=80
20.92	       =>  wckTime=19.433  cpuTime=19.31  mem=34M815
31.65	   
31.65	   search
31.65	     run=14  nbConstraintChecks=22595205  nbValidityChecks=45295462  nbPropagations=824341  nbRevisions=9425024
31.65	     nbUselessRevisions=7404291  nbAssignments=21943  nbFailedAssignments=13123  nbBacktracks=8737  nbVisitedNodes=40762
31.65	     nbRestartNogoods=92
31.65	       =>  wckTime=30.161  cpuTime=30.03  mem=34M815
53.28	   
53.28	   search
53.28	     run=15  nbConstraintChecks=39695668  nbValidityChecks=76846809  nbPropagations=1256455  nbRevisions=14540336
53.28	     nbUselessRevisions=11446880  nbAssignments=33819  nbFailedAssignments=20614  nbBacktracks=13117
53.28	     nbVisitedNodes=63307  nbRestartNogoods=103
53.28	       =>  wckTime=51.793  cpuTime=51.62  mem=34M815
71.85	   
71.85	   search
71.85	     run=16  nbConstraintChecks=53761032  nbValidityChecks=104331177  nbPropagations=1891264  nbRevisions=21906181
71.85	     nbUselessRevisions=17264913  nbAssignments=49201  nbFailedAssignments=29422  nbBacktracks=19685
71.85	     nbVisitedNodes=91732  nbRestartNogoods=122
71.85	       =>  wckTime=70.367  cpuTime=70.19  mem=34M815
104.70	   
104.71	   search
104.71	     run=17  nbConstraintChecks=78017278  nbValidityChecks=154240486  nbPropagations=2844524  nbRevisions=32874435
104.71	     nbUselessRevisions=25898355  nbAssignments=74388  nbFailedAssignments=44750  nbBacktracks=29538
104.71	     nbVisitedNodes=138565  nbRestartNogoods=131
104.71	       =>  wckTime=103.219  cpuTime=102.98  mem=34M815
167.76	   
167.76	   search
167.76	     run=18  nbConstraintChecks=130300190  nbValidityChecks=255377135  nbPropagations=4333162  nbRevisions=50656745
167.76	     nbUselessRevisions=39931101  nbAssignments=119264  nbFailedAssignments=74842  nbBacktracks=44316
167.76	     nbVisitedNodes=224612  nbRestartNogoods=142
167.76	       =>  wckTime=166.276  cpuTime=165.99  mem=34M815
228.72	   
228.72	   search
228.72	     run=19  nbConstraintChecks=175919770  nbValidityChecks=345544160  nbPropagations=6518032  nbRevisions=76030557
228.72	     nbUselessRevisions=59937468  nbAssignments=171326  nbFailedAssignments=104732  nbBacktracks=66484
228.72	     nbVisitedNodes=320836  nbRestartNogoods=156
228.72	       =>  wckTime=227.236  cpuTime=226.86  mem=34M815
370.97	   
370.97	   search
370.97	     run=20  nbConstraintChecks=282494603  nbValidityChecks=564675193  nbPropagations=9944568  nbRevisions=116054385
370.97	     nbUselessRevisions=91458240  nbAssignments=269293  nbFailedAssignments=169441  nbBacktracks=99736
370.97	     nbVisitedNodes=506988  nbRestartNogoods=175
370.97	       =>  wckTime=369.486  cpuTime=368.96  mem=34M815
407.98	   
407.99	   search
407.99	     run=21  nbConstraintChecks=310253738  nbValidityChecks=619520726  nbPropagations=13787491  nbRevisions=160633336
407.99	     nbUselessRevisions=126558191  nbAssignments=300815  nbFailedAssignments=187625  nbBacktracks=113050
407.99	     nbVisitedNodes=565361  nbRestartNogoods=192
407.99	       =>  wckTime=406.499  cpuTime=405.93  mem=34M815
407.99	   
407.99	   global
407.99	     nbConstraintChecks=310253738  nbValidityChecks=619520726  nbPropagations=13787515  nbRevisions=160633336
407.99	     nbUselessRevisions=126558191  nbRestartNogoods=192  solvingWckTime=406.5  solvingCpuTime=405.93  expiredTime=no
407.99	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=406.91
407.99	       =>  wckTime=407.689  cpuTime=406.87  mem=34M815
407.99	   
407.99	s SATISFIABLE
407.99	v 2 14 12 15 13 5 11 5 11 12 11 6 14 19 10 2 21 4 7 18 13 21 22 1 
407.99	d NODES 300815
407.99	d CHECKS 310253738
407.99	   
407.99	   totalWckTime=407.768  totalCpuTime=406.91

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node38/watcher-196248-1168070474 -o ROOT/results/node38/solver-196248-1168070474 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196248-1168070474/unknown.xml 

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

/proc/loadavg: 2.15 1.90 1.56 4/86 14778
/proc/meminfo: memFree=1582488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=292 CPUtime=0
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 229 0 0 0 0 0 0 0 18 0 1 0 155447029 299008 35 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8606500 0 0 4096 0 0 0 0 17 0 0 0
/proc/14777/statm: 73 35 27 14 0 5 0

[startup+0.108189 s]
/proc/loadavg: 2.15 1.90 1.56 4/86 14778
/proc/meminfo: memFree=1582488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=914988 CPUtime=0.09
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 3068 0 1 0 7 2 0 0 22 0 8 0 155447029 936947712 2814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228747 2815 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516268 s]
/proc/loadavg: 2.15 1.90 1.56 4/86 14778
/proc/meminfo: memFree=1582488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915328 CPUtime=0.5
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 8245 0 1 0 45 5 0 0 25 0 8 0 155447029 937295872 7984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228832 7985 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33943 s]
/proc/loadavg: 2.14 1.90 1.56 3/93 14785
/proc/meminfo: memFree=1515488/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=1.32
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23006 0 1 0 120 12 0 0 25 0 8 0 155447029 937398272 22743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 22743 2367 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6315 0 0 0 13 2 0 0 17 0 8 0 155447032 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.09
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 321 0 0 0 9 0 0 0 16 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 22744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915428

[startup+2.98675 s]
/proc/loadavg: 2.14 1.90 1.56 3/93 14785
/proc/meminfo: memFree=1500128/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=2.96
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23282 0 1 0 283 13 0 0 25 0 8 0 155447029 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23017 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 17 0 8 0 155447032 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.18
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 373 0 0 0 17 1 0 0 15 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23017 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915428

[startup+6.27939 s]
/proc/loadavg: 2.13 1.90 1.56 3/93 14793
/proc/meminfo: memFree=1499872/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=6.26
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23297 0 1 0 611 15 0 0 25 0 8 0 155447029 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073756660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23030 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 17 0 8 0 155447032 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.2
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915428

[startup+12.7717 s]
/proc/loadavg: 2.12 1.90 1.56 3/93 14819
/proc/meminfo: memFree=1500000/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=12.74
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23302 0 1 0 1257 17 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915428

[startup+25.6322 s]
/proc/loadavg: 2.10 1.90 1.57 3/93 14847
/proc/meminfo: memFree=1500192/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=25.58
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23302 0 1 0 2540 18 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915428

[startup+51.2752 s]
/proc/loadavg: 2.06 1.91 1.58 3/93 14863
/proc/meminfo: memFree=1500128/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=51.18
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23302 0 1 0 5096 22 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915428

[startup+102.543 s]
/proc/loadavg: 2.06 1.94 1.60 3/87 14909
/proc/meminfo: memFree=1501144/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=102.37
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 10211 26 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915428

[startup+162.546 s]
/proc/loadavg: 2.02 1.95 1.63 3/87 14909
/proc/meminfo: memFree=1501144/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=162.33
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 16206 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 915428

[startup+222.556 s]
/proc/loadavg: 2.01 1.95 1.65 3/87 14909
/proc/meminfo: memFree=1501272/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=222.25
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 22198 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 915428

[startup+282.569 s]
/proc/loadavg: 2.00 1.96 1.66 3/87 14909
/proc/meminfo: memFree=1501208/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=282.21
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 28194 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 915428

[startup+342.583 s]
/proc/loadavg: 2.00 1.96 1.68 3/87 14909
/proc/meminfo: memFree=1501208/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=342.17
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 34190 27 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 915428

[startup+402.685 s]
/proc/loadavg: 2.00 1.97 1.70 3/87 14909
/proc/meminfo: memFree=1501208/2055920 swapFree=4192812/4192956
[pid=14777] ppid=14775 vsize=915428 CPUtime=402.19
/proc/14777/stat : 14777 (java) R 14775 14777 14224 0 -1 0 23303 0 1 0 40191 28 0 0 25 0 8 0 155447029 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14777/statm: 228857 23034 2521 14 0 215327 0
[pid=14777/tid=14779] ppid=14775 vsize=915428 CPUtime=0.15
/proc/14777/task/14779/stat : 14779 (java) S 14775 14777 14224 0 -1 64 6316 0 0 0 13 2 0 0 16 0 8 0 155447032 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14780] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14780/stat : 14780 (java) S 14775 14777 14224 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14781] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14781/stat : 14781 (java) S 14775 14777 14224 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155447033 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14782] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14782/stat : 14782 (java) S 14775 14777 14224 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14783] ppid=14775 vsize=915428 CPUtime=0.21
/proc/14777/task/14783/stat : 14783 (java) S 14775 14777 14224 0 -1 64 392 0 0 0 20 1 0 0 16 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14784] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14784/stat : 14784 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14777/tid=14785] ppid=14775 vsize=915428 CPUtime=0
/proc/14777/task/14785/stat : 14785 (java) S 14775 14777 14224 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155447036 937398272 23034 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 915428

Child status: 0
Real time (s): 408.11
CPU time (s): 407.519
CPU user time (s): 407.223
CPU system time (s): 0.295955
CPU usage (%): 99.8553
Max. virtual memory (cumulated for all children) (KiB): 915428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 407.223
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23310
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= 9419
involuntary context switches= 18852

runsolver used 0.52592 s user time and 1.2908 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan  6 08:01:14 UTC 2007


IDJOB= 196248
IDBENCH= 3337
FILE ID= node38/196248-1168070474

PBS_JOBID= 3475936

Free space on /tmp= 66509 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196248-1168070474/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-196248-1168070474 -o ROOT/results/node38/solver-196248-1168070474 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196248-1168070474/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  43e8b6b7752c6463cc93f8445e2021d3

RANDOM SEED= 19633027

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.267
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.267
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:       1582904 kB
Buffers:         24276 kB
Cached:         273088 kB
SwapCached:          0 kB
Active:         149968 kB
Inactive:       251120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1582904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4552 kB
Writeback:           0 kB
Mapped:         124380 kB
Slab:            56616 kB
Committed_AS:  3910208 kB
PageTables:       2304 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= 66509 MiB



End job on node38 on Sat Jan  6 08:08:02 UTC 2007