Trace number 240219

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 ESACSAT 373.165 376.647

DiagnosticValue
CHECKS399373789
NODES1449986

General information on the benchmark

Nameqcp-qwh/QCP-20/
qcp-20-187-6_ext.xml
MD5SUM96ec8cf1b7a7943c03a06ad57432798a
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.19751
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension7600
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/240219-1168370752/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.48	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.48	       =>  wckTime=0.155  cpuTime=0.12  mem=7M894
0.48	   
0.48	   relations being loaded...
0.48	   
0.48	   constraints being loaded...
0.85	     nbConstraints=5540  nbRelationTypes=22  nbSingletonDomainVariables=213  nbExtensionStructures=41
0.85	     nbSharedExtensionStructures=5499  nbConflictsStructures=41  nbSharedConflictsStructures=5499
0.85	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.85	       =>  wckTime=0.529  cpuTime=0.38  mem=24M505
0.93	   
0.93	   solver IterativeSystematicSolver being built... 
1.11	       =>  wckTime=0.791  cpuTime=0.54  mem=18M513
1.57	   
1.57	   preprocessing
1.57	     nbConstraintChecks=102567  nbPropagations=2667  nbRevisions=24546  nbUselessRevisions=19618  nbSingletonTests=650
1.57	     nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=2925  detectedInconsistency=no
1.57	       =>  wckTime=0.452  cpuTime=0.41  mem=18M513
1.64	   
1.64	   search
1.64	     run=0  nbConstraintChecks=5835  nbPropagations=3115  nbRevisions=26344  nbUselessRevisions=20693  nbAssignments=265
1.64	     nbFailedAssignments=4  nbBacktracks=13  nbVisitedNodes=274  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.64	     nbTooLargeKeys=0
1.64	       =>  wckTime=0.519  cpuTime=0.46  mem=19M584
1.69	   
1.69	   search
1.69	     run=1  nbConstraintChecks=10967  nbPropagations=6711  nbRevisions=54337  nbUselessRevisions=42376
1.69	     nbAssignments=568  nbFailedAssignments=13  nbBacktracks=35  nbVisitedNodes=590  nbRestartNogoods=1  mapSize=19
1.69	     nbInferences=0  nbTooLargeKeys=0
1.69	       =>  wckTime=0.567  cpuTime=0.51  mem=19M584
1.74	   
1.74	   search
1.74	     run=2  nbConstraintChecks=16612  nbPropagations=10761  nbRevisions=84212  nbUselessRevisions=65266
1.74	     nbAssignments=851  nbFailedAssignments=17  nbBacktracks=65  nbVisitedNodes=880  nbRestartNogoods=2  mapSize=23
1.74	     nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.618  cpuTime=0.55  mem=19M584
1.80	   
1.80	   search
1.80	     run=3  nbConstraintChecks=32751  nbPropagations=16012  nbRevisions=120402  nbUselessRevisions=92897
1.80	     nbAssignments=1227  nbFailedAssignments=29  nbBacktracks=99  nbVisitedNodes=1203  nbRestartNogoods=5  mapSize=40
1.80	     nbInferences=0  nbTooLargeKeys=0
1.80	       =>  wckTime=0.684  cpuTime=0.61  mem=20M557
1.89	   
1.89	   search
1.89	     run=4  nbConstraintChecks=60380  nbPropagations=23060  nbRevisions=168133  nbUselessRevisions=129273
1.89	     nbAssignments=1663  nbFailedAssignments=39  nbBacktracks=155  nbVisitedNodes=1542  nbRestartNogoods=9  mapSize=65
1.89	     nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.765  cpuTime=0.69  mem=20M557
1.94	   
1.94	   search
1.94	     run=5  nbConstraintChecks=72332  nbPropagations=30952  nbRevisions=219923  nbUselessRevisions=168187
1.94	     nbAssignments=2019  nbFailedAssignments=54  nbBacktracks=243  nbVisitedNodes=1926  nbRestartNogoods=10  mapSize=91
1.94	     nbInferences=0  nbTooLargeKeys=0
1.94	       =>  wckTime=0.824  cpuTime=0.74  mem=20M557
2.01	   
2.01	   search
2.01	     run=6  nbConstraintChecks=92480  nbPropagations=40255  nbRevisions=278601  nbUselessRevisions=211269
2.01	     nbAssignments=2446  nbFailedAssignments=85  nbBacktracks=356  nbVisitedNodes=2416  nbRestartNogoods=12  mapSize=146
2.01	     nbInferences=0  nbTooLargeKeys=0
2.01	       =>  wckTime=0.886  cpuTime=0.8  mem=21M529
2.10	   
2.10	   search
2.10	     run=7  nbConstraintChecks=138984  nbPropagations=52514  nbRevisions=356454  nbUselessRevisions=268049
2.10	     nbAssignments=3059  nbFailedAssignments=130  nbBacktracks=532  nbVisitedNodes=2978  nbRestartNogoods=19
2.10	     mapSize=218  nbInferences=0  nbTooLargeKeys=0
2.10	       =>  wckTime=0.982  cpuTime=0.89  mem=21M529
2.22	   
2.22	   search
2.22	     run=8  nbConstraintChecks=189751  nbPropagations=68384  nbRevisions=454529  nbUselessRevisions=339096
2.22	     nbAssignments=3777  nbFailedAssignments=192  nbBacktracks=794  nbVisitedNodes=3661  nbRestartNogoods=25
2.22	     mapSize=318  nbInferences=0  nbTooLargeKeys=0
2.22	       =>  wckTime=1.099  cpuTime=1.01  mem=21M529
2.34	   
2.34	   search
2.34	     run=9  nbConstraintChecks=238896  nbPropagations=87900  nbRevisions=570172  nbUselessRevisions=420988
2.34	     nbAssignments=4504  nbFailedAssignments=290  nbBacktracks=1179  nbVisitedNodes=4566  nbRestartNogoods=28
2.34	     mapSize=478  nbInferences=0  nbTooLargeKeys=0
2.34	       =>  wckTime=1.22  cpuTime=1.12  mem=22M502
2.54	   
2.54	   search
2.54	     run=10  nbConstraintChecks=373320  nbPropagations=112102  nbRevisions=768067  nbUselessRevisions=574628
2.54	     nbAssignments=5241  nbFailedAssignments=365  nbBacktracks=1757  nbVisitedNodes=5459  nbRestartNogoods=29
2.54	     mapSize=628  nbInferences=0  nbTooLargeKeys=0
2.54	       =>  wckTime=1.417  cpuTime=1.3  mem=22M502
2.80	   
2.80	   search
2.80	     run=11  nbConstraintChecks=553341  nbPropagations=143004  nbRevisions=1078375  nbUselessRevisions=826594
2.80	     nbAssignments=6445  nbFailedAssignments=471  nbBacktracks=2630  nbVisitedNodes=6698  nbRestartNogoods=35
2.80	     mapSize=816  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=1.679  cpuTime=1.56  mem=23M475
3.01	   
3.01	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=24M447)
3.12	   
3.12	   search
3.12	     run=12  nbConstraintChecks=781858  nbPropagations=182183  nbRevisions=1531486  nbUselessRevisions=1203956
3.12	     nbAssignments=7969  nbFailedAssignments=636  nbBacktracks=3932  nbVisitedNodes=8527  nbRestartNogoods=40
3.12	       =>  wckTime=1.998  cpuTime=1.88  mem=24M447
3.63	   
3.63	   search
3.63	     run=13  nbConstraintChecks=1272229  nbPropagations=236975  nbRevisions=2294255  nbUselessRevisions=1853573
3.63	     nbAssignments=10272  nbFailedAssignments=927  nbBacktracks=5906  nbVisitedNodes=11415  nbRestartNogoods=43
3.63	       =>  wckTime=2.514  cpuTime=2.38  mem=24M447
4.27	   
4.27	   search
4.27	     run=14  nbConstraintChecks=1832095  nbPropagations=311783  nbRevisions=3411298  nbUselessRevisions=2814782
4.27	     nbAssignments=13664  nbFailedAssignments=1338  nbBacktracks=8835  nbVisitedNodes=15662  nbRestartNogoods=46
4.27	       =>  wckTime=3.153  cpuTime=3.02  mem=24M447
5.40	   
5.40	   search
5.40	     run=15  nbConstraintChecks=2832750  nbPropagations=423494  nbRevisions=5148265  nbUselessRevisions=4318990
5.40	     nbAssignments=18839  nbFailedAssignments=2091  nbBacktracks=13216  nbVisitedNodes=22243  nbRestartNogoods=52
5.40	       =>  wckTime=4.281  cpuTime=4.14  mem=24M447
7.39	   
7.39	   search
7.39	     run=16  nbConstraintChecks=4818617  nbPropagations=603824  nbRevisions=8180200  nbUselessRevisions=6970002
7.39	     nbAssignments=26694  nbFailedAssignments=3237  nbBacktracks=19794  nbVisitedNodes=32287  nbRestartNogoods=61
7.39	       =>  wckTime=6.269  cpuTime=6.11  mem=24M447
10.41	   
10.41	   search
10.41	     run=17  nbConstraintChecks=8040804  nbPropagations=890939  nbRevisions=13338343  nbUselessRevisions=11516854
10.41	     nbAssignments=38851  nbFailedAssignments=5473  nbBacktracks=29647  nbVisitedNodes=48466  nbRestartNogoods=69
10.41	       =>  wckTime=9.293  cpuTime=9.1  mem=24M447
15.41	   
15.41	   search
15.41	     run=18  nbConstraintChecks=13193834  nbPropagations=1356798  nbRevisions=21693397  nbUselessRevisions=18851077
15.41	     nbAssignments=57823  nbFailedAssignments=9634  nbBacktracks=44427  nbVisitedNodes=75594  nbRestartNogoods=76
15.41	       =>  wckTime=14.293  cpuTime=14.06  mem=24M447
23.14	   
23.14	   search
23.14	     run=19  nbConstraintChecks=21712191  nbPropagations=2102849  nbRevisions=35638252  nbUselessRevisions=31154896
23.14	     nbAssignments=85319  nbFailedAssignments=14917  nbBacktracks=66595  nbVisitedNodes=113261  nbRestartNogoods=82
23.14	       =>  wckTime=22.023  cpuTime=21.72  mem=24M447
34.10	   
34.10	   search
34.10	     run=20  nbConstraintChecks=33289970  nbPropagations=3238044  nbRevisions=57069311  nbUselessRevisions=50094708
34.10	     nbAssignments=125739  nbFailedAssignments=22041  nbBacktracks=99858  nbVisitedNodes=167907  nbRestartNogoods=88
34.10	       =>  wckTime=32.975  cpuTime=32.56  mem=24M447
49.76	   
49.76	   search
49.76	     run=21  nbConstraintChecks=50032735  nbPropagations=4924573  nbRevisions=89556928  nbUselessRevisions=78893322
49.76	     nbAssignments=186790  nbFailedAssignments=33168  nbBacktracks=149737  nbVisitedNodes=249702  nbRestartNogoods=98
49.76	       =>  wckTime=48.64  cpuTime=48.09  mem=24M447
73.88	   
73.88	   search
73.88	     run=22  nbConstraintChecks=75503648  nbPropagations=7455482  nbRevisions=138463942  nbUselessRevisions=122218112
73.88	     nbAssignments=277452  nbFailedAssignments=48895  nbBacktracks=224568  nbVisitedNodes=372113  nbRestartNogoods=108
73.88	       =>  wckTime=72.762  cpuTime=71.99  mem=24M447
110.01	   
110.02	   search
110.02	     run=23  nbConstraintChecks=115226002  nbPropagations=11285179  nbRevisions=213606507  nbUselessRevisions=188864933
110.02	     nbAssignments=415952  nbFailedAssignments=75107  nbBacktracks=336802  nbVisitedNodes=560799  nbRestartNogoods=114
110.02	       =>  wckTime=108.895  cpuTime=107.78  mem=24M447
164.34	   
164.34	   search
164.34	     run=24  nbConstraintChecks=173162527  nbPropagations=17038563  nbRevisions=326851772  nbUselessRevisions=289289339
164.34	     nbAssignments=625333  nbFailedAssignments=116015  nbBacktracks=505149  nbVisitedNodes=850474  nbRestartNogoods=123
164.34	       =>  wckTime=163.224  cpuTime=161.63  mem=24M447
244.81	   
244.81	   search
244.81	     run=25  nbConstraintChecks=259274223  nbPropagations=25637834  nbRevisions=496423133  nbUselessRevisions=439764189
244.81	     nbAssignments=933157  nbFailedAssignments=171210  nbBacktracks=757661  nbVisitedNodes=1266618  nbRestartNogoods=133
244.81	       =>  wckTime=243.694  cpuTime=241.36  mem=24M447
364.28	   
364.28	   search
364.28	     run=26  nbConstraintChecks=386126095  nbPropagations=38492094  nbRevisions=748543475  nbUselessRevisions=663242944
364.28	     nbAssignments=1399560  nbFailedAssignments=258714  nbBacktracks=1136429  nbVisitedNodes=1906392
364.28	     nbRestartNogoods=145
364.28	       =>  wckTime=363.156  cpuTime=359.75  mem=24M447
376.59	   
376.59	   search
376.59	     run=27  nbConstraintChecks=399271222  nbPropagations=51788289  nbRevisions=1009523650  nbUselessRevisions=894610231
376.59	     nbAssignments=1449986  nbFailedAssignments=269576  nbBacktracks=1175318  nbVisitedNodes=1977225
376.59	     nbRestartNogoods=158
376.59	       =>  wckTime=375.471  cpuTime=371.95  mem=24M447
376.59	   
376.59	   global
376.59	     nbConstraintChecks=399373789  nbPropagations=51790956  nbRevisions=1009548196  nbUselessRevisions=894629849
376.59	     nbRestartNogoods=158  solvingWckTime=375.473  solvingCpuTime=371.95  expiredTime=no  totalExploration=no
376.59	     nbFoundSolutions=1  globalCpuTime=372.54
376.59	       =>  wckTime=376.269  cpuTime=372.49  mem=24M447
376.60	   
376.60	s SATISFIABLE
376.60	v 0 16 17 18 5 14 7 2 12 4 8 9 19 6 15 11 3 1 10 13 10 6 16 17 4 8 3 14 1 11 7 13 9 5 0 19 15 12 18 2 4 0 15 5 10 11 8 9 18 2 19 14 17 16 7 6 1 13 3 12 14 4 7 16 3 15 11 6 0 13 12 5 1 19 18 9 2 8 17 10 2 19 10 3 11 16 6 15 9 17 13 12 8 7 4 14 18 0 1 5 7 1 8 4 14 12 17 3 11 16 18 6 5 13 19 10 0 2 15 9 15 11 6 13 7 9 4 17 8 1 3 16 2 18 14 5 12 10 19 0 6 3 11 7 13 18 0 19 2 5 10 15 12 17 8 1 4 9 14 16 5 2 0 15 1 4 12 18 3 8 6 10 7 11 16 13 17 19 9 14 9 18 4 10 2 19 5 0 15 12 14 1 16 8 13 17 7 11 6 3 8 15 9 12 16 7 13 10 19 6 17 11 0 2 1 3 14 5 4 18 16 8 19 6 12 5 1 13 4 14 0 18 15 9 17 7 10 3 2 11 12 5 14 9 19 17 2 1 16 7 15 4 3 0 10 18 11 6 13 8 1 17 12 2 9 13 19 8 14 18 4 7 11 10 3 16 5 15 0 6 3 12 13 14 18 2 10 7 5 9 1 17 4 15 6 0 8 16 11 19 13 14 5 0 6 1 15 4 17 19 11 8 10 3 2 12 9 18 16 7 19 10 1 8 17 3 18 11 6 0 9 2 13 12 5 15 16 14 7 4 11 9 18 1 15 0 16 5 10 3 2 19 6 14 12 4 13 7 8 17 18 7 3 19 8 10 9 16 13 15 5 0 14 4 11 2 6 17 12 1 17 13 2 11 0 6 14 12 7 10 16 3 18 1 9 8 19 4 5 15 
376.60	d NODES 1449986
376.60	d CHECKS 399373789
376.60	   
376.60	   totalWckTime=376.352  totalCpuTime=372.54

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

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

/proc/loadavg: 1.80 1.87 1.91 4/87 7182
/proc/meminfo: memFree=1771168/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=18540 CPUtime=0
/proc/7181/stat : 7181 (runsolver) R 7179 7181 7114 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 185470975 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7181/statm: 4635 279 244 17 0 2626 0

[startup+0.11072 s]
/proc/loadavg: 1.80 1.87 1.91 4/87 7182
/proc/meminfo: memFree=1771168/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=914988 CPUtime=0.09
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 3006 0 1 0 7 2 0 0 17 0 8 0 185470975 936947712 2752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228747 2752 1431 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.519765 s]
/proc/loadavg: 1.80 1.87 1.91 4/87 7182
/proc/meminfo: memFree=1771168/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915328 CPUtime=0.49
/proc/7181/stat : 7181 (java) S 7179 7181 7114 0 -1 0 6423 0 1 0 45 4 0 0 17 0 8 0 185470975 937295872 6162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228832 6162 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34087 s]
/proc/loadavg: 1.80 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733992/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=1.29
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12005 0 1 0 122 7 0 0 18 0 8 0 185470975 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11743 2523 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.26
/proc/7181/task/7187/stat : 7187 (java) R 7179 7181 7114 0 -1 64 459 0 0 0 25 1 0 0 20 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915676

[startup+2.97806 s]
/proc/loadavg: 1.80 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733928/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=2.92
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12036 0 1 0 284 8 0 0 25 0 8 0 185470975 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939443 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11772 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185470979 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.31
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 485 0 0 0 30 1 0 0 16 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11772 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676

[startup+6.27244 s]
/proc/loadavg: 1.82 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733800/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=6.19
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12039 0 1 0 610 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073953477 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915676

[startup+12.7542 s]
/proc/loadavg: 1.83 1.87 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=12.61
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12039 0 1 0 1252 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915676

[startup+25.6387 s]
/proc/loadavg: 1.86 1.88 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=25.38
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 2529 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915676

[startup+51.2677 s]
/proc/loadavg: 1.91 1.89 1.91 3/94 7189
/proc/meminfo: memFree=1733992/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=50.77
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 5068 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915676

[startup+102.528 s]
/proc/loadavg: 1.96 1.90 1.91 3/94 7189
/proc/meminfo: memFree=1733992/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=101.56
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 10147 9 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915676

[startup+162.536 s]
/proc/loadavg: 1.98 1.92 1.91 3/94 7189
/proc/meminfo: memFree=1733928/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=161.03
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 16093 10 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 915676

[startup+222.542 s]
/proc/loadavg: 1.99 1.93 1.91 3/94 7189
/proc/meminfo: memFree=1733928/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=220.48
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12040 0 1 0 22038 10 0 0 25 0 8 0 185470975 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074006122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11774 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 487 0 0 0 31 1 0 0 17 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.48
Current children cumulated vsize (KiB) 915676

[startup+282.553 s]
/proc/loadavg: 2.06 1.96 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=279.95
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12041 0 1 0 27985 10 0 0 25 0 8 0 185470975 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11775 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (KiB) 915676

[startup+342.558 s]
/proc/loadavg: 2.02 1.96 1.91 3/94 7189
/proc/meminfo: memFree=1733864/2055920 swapFree=4165612/4192956
[pid=7181] ppid=7179 vsize=915676 CPUtime=339.42
/proc/7181/stat : 7181 (java) R 7179 7181 7114 0 -1 0 12041 0 1 0 33931 11 0 0 25 0 8 0 185470975 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7181/statm: 228919 11775 2524 14 0 215389 0
[pid=7181/tid=7183] ppid=7179 vsize=915676 CPUtime=0.06
/proc/7181/task/7183/stat : 7183 (java) S 7179 7181 7114 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7184] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7184/stat : 7184 (java) S 7179 7181 7114 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7185] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7185/stat : 7185 (java) S 7179 7181 7114 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185470979 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7186] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7186/stat : 7186 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7187] ppid=7179 vsize=915676 CPUtime=0.32
/proc/7181/task/7187/stat : 7187 (java) S 7179 7181 7114 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7188] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7188/stat : 7188 (java) S 7179 7181 7114 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7181/tid=7189] ppid=7179 vsize=915676 CPUtime=0
/proc/7181/task/7189/stat : 7189 (java) S 7179 7181 7114 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185470983 937652224 11775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.42
Current children cumulated vsize (KiB) 915676

Child status: 0
Real time (s): 376.647
CPU time (s): 373.165
CPU user time (s): 373.04
CPU system time (s): 0.124981
CPU usage (%): 99.0757
Max. virtual memory (cumulated for all children) (KiB): 915676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.04
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12051
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= 8684
involuntary context switches= 16961

runsolver used 0.448931 s user time and 1.22981 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue Jan  9 19:25:52 UTC 2007


IDJOB= 240219
IDBENCH= 7114
FILE ID= node1/240219-1168370752

PBS_JOBID= 3503864

Free space on /tmp= 66511 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240219-1168370752/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-240219-1168370752 -o ROOT/results/node1/solver-240219-1168370752 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240219-1168370752/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  96ec8cf1b7a7943c03a06ad57432798a

RANDOM SEED= 56720780

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.234
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.234
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:       1771648 kB
Buffers:         35128 kB
Cached:         142912 kB
SwapCached:       4064 kB
Active:         147860 kB
Inactive:        78904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771648 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            2528 kB
Writeback:           0 kB
Mapped:          59416 kB
Slab:            42172 kB
Committed_AS:  6009148 kB
PageTables:       2332 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= 66511 MiB



End job on node1 on Tue Jan  9 19:32:13 UTC 2007