Trace number 276823

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
AbsconMax 109 EPFCOPTIMUM 1402.59 1405.57

General information on the benchmark

Nametightness/tightness0.1/
rand-2-40-8-753-100-30_ext.xml
MD5SUMbbc5696eb0d541204e78162136ebccd9
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints752
Best CPU time to get the best result obtained on this benchmark22.7755
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints753
Maximum constraint arity2
Maximum domain size8
Number of constraints which are defined in extension753
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=epfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/276823-1169247368/unknown.xml
0.43	   
0.43	   domains being loaded...
0.43	   
0.43	   variables being loaded...
0.47	     nbVariables=40  nbDomainTypes=1  minDomainSize=8  maxDomainSize=8
0.47	       =>  wckTime=0.102  cpuTime=0.09  mem=6M887
0.47	   
0.47	   relations being loaded...
0.57	   
0.57	   constraints being loaded...
0.74	     nbConstraints=753  nbRelationTypes=752  nbExtensionStructures=752  nbSharedExtensionStructures=1
0.74	     nbConflictsStructures=752  nbSharedConflictsStructures=1  nbSharedBinaryRepresentations=11896  maxDegree=39
0.74	     maxArity=2
0.74	       =>  wckTime=0.381  cpuTime=0.25  mem=11M779
0.79	   
0.79	   solver LocalSearchSolver being built... 
0.84	       =>  wckTime=0.473  cpuTime=0.3  mem=6M109
0.84	
0.84	s SATISFIABLE
0.84	o 681
0.84	c 72
0.84	o 686
0.84	c 67
0.84	o 690
0.84	c 63
0.84	o 694
0.84	c 59
0.85	o 698
0.85	c 55
0.85	o 705
0.85	c 48
0.85	o 709
0.85	c 44
0.85	o 713
0.85	c 40
0.85	o 716
0.85	c 37
0.85	o 717
0.85	c 36
0.85	o 720
0.85	c 33
0.85	o 723
0.85	c 30
0.85	o 726
0.85	c 27
0.85	o 727
0.85	c 26
0.85	o 729
0.85	c 24
0.85	o 731
0.85	c 22
0.85	o 733
0.85	c 20
0.86	o 735
0.86	c 18
0.86	o 737
0.86	c 16
0.86	o 739
0.86	c 14
0.86	o 740
0.86	c 13
0.86	o 741
0.86	c 12
0.86	o 742
0.86	c 11
0.87	o 743
0.87	c 10
0.87	o 744
0.87	c 9
0.89	o 745
0.89	c 8
0.91	o 746
0.91	c 7
0.91	o 747
0.91	c 6
0.91	o 749
0.92	c 4
0.94	o 751
0.94	c 2
1.31	o 752
1.31	c 1
1.31	   
1.31	   search
1.31	     run=0  nbConstraintChecks=2456231  nbAssignments=1669
1.31	       =>  wckTime=0.472  cpuTime=0.43  mem=6M109
1.31	   
1.31	   global
1.31	     nbConstraintChecks=2456231  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1.31	     solvingWckTime=0.471  solvingCpuTime=0.43  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1.31	     globalCpuTime=0.78
1.31	       =>  wckTime=0.946  cpuTime=0.73  mem=6M109
1.31	   
1.31	   solver IterativeSystematicSolver being built... 
1.44	       =>  wckTime=1.08  cpuTime=0.84  mem=17M49
1.55	   
1.55	   preprocessing
1.55	     nbConstraintChecks=61063  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.55	     detectedInconsistency=no
1.55	       =>  wckTime=0.102  cpuTime=0.07  mem=17M49
1.60	   
1.60	   search
1.60	     run=0  nbConstraintChecks=109311  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33
1.60	     nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=60  nbRestartNogoods=0
1.60	       =>  wckTime=0.158  cpuTime=0.13  mem=17M49
1.69	   
1.69	   search
1.69	     run=1  nbConstraintChecks=293285  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=87
1.69	     nbFailedAssignments=47  nbBacktracks=25  nbVisitedNodes=158  nbRestartNogoods=3
1.69	       =>  wckTime=0.242  cpuTime=0.21  mem=17M49
1.78	   
1.78	   search
1.78	     run=2  nbConstraintChecks=512836  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=150
1.78	     nbFailedAssignments=81  nbBacktracks=48  nbVisitedNodes=277  nbRestartNogoods=16
1.78	       =>  wckTime=0.335  cpuTime=0.3  mem=17M49
1.93	   
1.93	   search
1.93	     run=3  nbConstraintChecks=901312  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=251
1.93	     nbFailedAssignments=141  nbBacktracks=81  nbVisitedNodes=468  nbRestartNogoods=28
1.93	       =>  wckTime=0.482  cpuTime=0.44  mem=17M49
2.13	   
2.13	   search
2.13	     run=4  nbConstraintChecks=1440817  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=393
2.13	     nbFailedAssignments=226  nbBacktracks=131  nbVisitedNodes=740  nbRestartNogoods=33
2.13	       =>  wckTime=0.683  cpuTime=0.64  mem=17M49
2.46	   
2.46	   search
2.46	     run=5  nbConstraintChecks=2286031  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=612
2.46	     nbFailedAssignments=364  nbBacktracks=206  nbVisitedNodes=1167  nbRestartNogoods=41
2.46	       =>  wckTime=1.015  cpuTime=0.96  mem=17M49
2.94	   
2.94	   search
2.94	     run=6  nbConstraintChecks=3461580  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=906
2.94	     nbFailedAssignments=541  nbBacktracks=319  nbVisitedNodes=1736  nbRestartNogoods=57
2.94	       =>  wckTime=1.497  cpuTime=1.44  mem=17M49
3.63	   
3.63	   search
3.63	     run=7  nbConstraintChecks=5346723  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1380
3.63	     nbFailedAssignments=837  nbBacktracks=489  nbVisitedNodes=2657  nbRestartNogoods=71
3.63	       =>  wckTime=2.187  cpuTime=2.12  mem=17M49
4.56	   
4.56	   search
4.56	     run=8  nbConstraintChecks=7735650  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1999
4.56	     nbFailedAssignments=1192  nbBacktracks=745  nbVisitedNodes=3824  nbRestartNogoods=87
4.56	       =>  wckTime=3.112  cpuTime=3.01  mem=17M49
5.81	   
5.81	   search
5.81	     run=9  nbConstraintChecks=11033132  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2880
5.81	     nbFailedAssignments=1683  nbBacktracks=1129  nbVisitedNodes=5472  nbRestartNogoods=91
5.81	       =>  wckTime=4.365  cpuTime=4.25  mem=17M49
7.51	   
7.51	   search
7.51	     run=10  nbConstraintChecks=15288138  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4066
7.51	     nbFailedAssignments=2287  nbBacktracks=1705  nbVisitedNodes=7594  nbRestartNogoods=94
7.51	       =>  wckTime=6.066  cpuTime=5.94  mem=17M49
9.99	   
9.99	   search
9.99	     run=11  nbConstraintChecks=21451654  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5811
9.99	     nbFailedAssignments=3162  nbBacktracks=2570  nbVisitedNodes=10636  nbRestartNogoods=111
9.99	       =>  wckTime=8.541  cpuTime=8.39  mem=17M49
13.18	   
13.18	   search
13.18	     run=12  nbConstraintChecks=29309727  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8230
13.18	     nbFailedAssignments=4277  nbBacktracks=3867  nbVisitedNodes=14563  nbRestartNogoods=116
13.18	       =>  wckTime=11.74  cpuTime=11.56  mem=17M49
17.67	   
17.67	   search
17.67	     run=13  nbConstraintChecks=40343707  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11722
17.67	     nbFailedAssignments=5816  nbBacktracks=5814  nbVisitedNodes=20073  nbRestartNogoods=128
17.67	       =>  wckTime=16.227  cpuTime=16.0  mem=17M49
23.83	   
23.83	   search
23.83	     run=14  nbConstraintChecks=55015191  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=16646
23.83	     nbFailedAssignments=7817  nbBacktracks=8733  nbVisitedNodes=27645  nbRestartNogoods=140
23.83	       =>  wckTime=22.382  cpuTime=22.1  mem=17M49
32.86	   
32.86	   search
32.86	     run=15  nbConstraintChecks=77367769  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24027
32.86	     nbFailedAssignments=10810  nbBacktracks=13111  nbVisitedNodes=38953  nbRestartNogoods=147
32.86	       =>  wckTime=31.415  cpuTime=31.05  mem=17M49
46.12	   
46.12	   search
46.12	     run=16  nbConstraintChecks=109783897  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=34850
46.12	     nbFailedAssignments=15059  nbBacktracks=19679  nbVisitedNodes=55329  nbRestartNogoods=152
46.12	       =>  wckTime=44.676  cpuTime=44.21  mem=17M49
66.39	   
66.39	   search
66.39	     run=17  nbConstraintChecks=158011917  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51059
66.39	     nbFailedAssignments=21411  nbBacktracks=29531  nbVisitedNodes=79840  nbRestartNogoods=161
66.39	       =>  wckTime=64.948  cpuTime=64.3  mem=17M49
96.29	   
96.29	   search
96.29	     run=18  nbConstraintChecks=230273038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=75485
96.29	     nbFailedAssignments=31052  nbBacktracks=44309  nbVisitedNodes=116811  nbRestartNogoods=172
96.29	       =>  wckTime=94.842  cpuTime=93.92  mem=17M49
140.41	   
140.41	   search
140.41	     run=19  nbConstraintChecks=340514901  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=112061
140.41	     nbFailedAssignments=45453  nbBacktracks=66479  nbVisitedNodes=171861  nbRestartNogoods=190
140.41	       =>  wckTime=138.965  cpuTime=137.65  mem=17M49
210.39	   
210.39	   search
210.39	     run=20  nbConstraintChecks=505511137  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=167254
210.39	     nbFailedAssignments=67387  nbBacktracks=99731  nbVisitedNodes=256026  nbRestartNogoods=212
210.39	       =>  wckTime=208.946  cpuTime=207.02  mem=17M49
301.23	   
301.23	   search
301.23	     run=21  nbConstraintChecks=748921681  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=248884
301.23	     nbFailedAssignments=99131  nbBacktracks=149610  nbVisitedNodes=378939  nbRestartNogoods=243
301.23	       =>  wckTime=299.781  cpuTime=297.73  mem=17M49
438.91	   
438.91	   search
438.91	     run=22  nbConstraintChecks=1108795325  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=371058
438.91	     nbFailedAssignments=146480  nbBacktracks=224430  nbVisitedNodes=562776  nbRestartNogoods=254
438.91	       =>  wckTime=437.468  cpuTime=435.25  mem=17M49
643.44	   
643.44	   search
643.44	     run=23  nbConstraintChecks=1644751608  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=553658
643.44	     nbFailedAssignments=216849  nbBacktracks=336658  nbVisitedNodes=836037  nbRestartNogoods=270
643.44	       =>  wckTime=641.995  cpuTime=639.62  mem=17M49
957.21	   
957.21	   search
957.21	     run=24  nbConstraintChecks=2459093405  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=829678
957.21	     nbFailedAssignments=324525  nbBacktracks=504999  nbVisitedNodes=1252507  nbRestartNogoods=277
957.21	       =>  wckTime=955.768  cpuTime=953.16  mem=17M49
1405.52	   
1405.52	   search
1405.52	     run=25  nbConstraintChecks=3609670350  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1224603
1405.52	     nbFailedAssignments=477123  nbBacktracks=747327  nbVisitedNodes=1843881  nbRestartNogoods=303
1405.52	       =>  wckTime=1404.072  cpuTime=1401.12  mem=17M49
1405.52	   
1405.52	   global
1405.52	     nbConstraintChecks=3609731413  nbRestartNogoods=303  solvingWckTime=1404.074  solvingCpuTime=1401.12
1405.52	     expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1402.01
1405.52	       =>  wckTime=1405.154  cpuTime=1401.96  mem=17M49
1405.52	
1405.52	s OPTIMUM FOUND
1405.52	v 1 6 3 0 0 0 5 5 0 3 3 3 3 7 7 1 6 0 2 6 7 2 7 7 3 2 1 6 1 5 0 7 7 3 5 7 7 7 2 4 
1405.52	   
1405.52	   totalWckTime=1405.237  totalCpuTime=1402.01

Verifier Data (download as text)

1 unsatisfied constraints, 752 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-276823-1169247368 -o ROOT/results/node16/solver-276823-1169247368 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276823-1169247368/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.07 2.04 2.00 4/94 19327
/proc/meminfo: memFree=1318496/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=18540 CPUtime=0
/proc/19326/stat : 19326 (runsolver) R 19324 19326 18352 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273131645 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19326/statm: 4635 279 244 17 0 2626 0

[startup+0.103295 s]
/proc/loadavg: 2.07 2.04 2.00 4/94 19327
/proc/meminfo: memFree=1318496/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=907808 CPUtime=0.06
/proc/19326/stat : 19326 (java) D 19324 19326 18352 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 273131645 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.511221 s]
/proc/loadavg: 2.07 2.04 2.00 4/94 19327
/proc/meminfo: memFree=1318496/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915332 CPUtime=0.43
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 6184 0 1 0 40 3 0 0 18 0 8 0 273131645 937299968 5923 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228833 5923 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.34206 s]
/proc/loadavg: 2.07 2.04 2.00 4/101 19334
/proc/meminfo: memFree=1296744/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1.25
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 8156 0 1 0 113 12 0 0 24 0 8 0 273131645 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 7894 2486 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.2
/proc/19326/task/19332/stat : 19332 (java) R 19324 19326 18352 0 -1 64 377 0 0 0 20 0 0 0 16 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153156258 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 7894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915580

[startup+2.98375 s]
/proc/loadavg: 2.07 2.04 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=2.89
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9235 0 1 0 275 14 0 0 25 0 8 0 273131645 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 8971 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273131651 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.27
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 415 0 0 0 26 1 0 0 16 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 8971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915580

[startup+6.26214 s]
/proc/loadavg: 2.07 2.04 2.00 3/101 19334
/proc/meminfo: memFree=1292264/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=6.13
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9256 0 1 0 599 14 0 0 25 0 8 0 273131645 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 8990 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 428 0 0 0 29 1 0 0 15 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915580

[startup+12.7569 s]
/proc/loadavg: 2.06 2.03 2.00 3/101 19334
/proc/meminfo: memFree=1292328/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=12.57
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9264 0 1 0 1243 14 0 0 25 0 8 0 273131645 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 8996 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 17 0 8 0 273131651 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 432 0 0 0 29 1 0 0 16 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 8996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915580

[startup+25.6185 s]
/proc/loadavg: 2.05 2.03 2.00 3/101 19334
/proc/meminfo: memFree=1292392/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=25.32
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9272 0 1 0 2517 15 0 0 25 0 8 0 273131645 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 9003 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 432 0 0 0 29 1 0 0 16 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9003 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915580

[startup+51.2227 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=50.69
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9277 0 1 0 5054 15 0 0 25 0 8 0 273131645 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 9008 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.3
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 432 0 0 0 29 1 0 0 16 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9008 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915580

[startup+102.431 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=101.46
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9285 0 1 0 10130 16 0 0 25 0 8 0 273131645 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19326/statm: 228895 9014 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 433 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9014 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915580

[startup+162.482 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 19334
/proc/meminfo: memFree=1292456/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=160.97
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9287 0 1 0 16081 16 0 0 25 0 8 0 273131645 937553920 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 940.69
Current children cumulated vsize (KiB) 915580

[startup+1003.36 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 19606
/proc/meminfo: memFree=1294376/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1000.72
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 100043 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1000.72
Current children cumulated vsize (KiB) 915580

[startup+1063.42 s]
/proc/loadavg: 2.01 2.01 2.00 3/101 19606
/proc/meminfo: memFree=1294376/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1060.75
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 106046 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074003499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1060.75
Current children cumulated vsize (KiB) 915580

[startup+1123.52 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19606
/proc/meminfo: memFree=1294376/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1120.78
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 112049 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939094 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1120.78
Current children cumulated vsize (KiB) 915580

[startup+1183.59 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19608
/proc/meminfo: memFree=1294184/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1180.81
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 118052 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1180.81
Current children cumulated vsize (KiB) 915580

[startup+1243.66 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 19608
/proc/meminfo: memFree=1294184/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1240.85
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 124056 29 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1240.85
Current children cumulated vsize (KiB) 915580

[startup+1303.73 s]
/proc/loadavg: 2.00 2.00 2.00 4/101 19608
/proc/meminfo: memFree=1294248/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1300.86
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 130056 30 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961459 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1300.86
Current children cumulated vsize (KiB) 915580

[startup+1363.8 s]
/proc/loadavg: 2.08 2.02 2.01 3/101 19608
/proc/meminfo: memFree=1294248/2055920 swapFree=4191880/4192956
[pid=19326] ppid=19324 vsize=915580 CPUtime=1360.89
/proc/19326/stat : 19326 (java) R 19324 19326 18352 0 -1 0 9301 0 1 0 136059 30 0 0 25 0 8 0 273131645 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19326/statm: 228895 9029 2532 14 0 215365 0
[pid=19326/tid=19328] ppid=19324 vsize=915580 CPUtime=0.03
/proc/19326/task/19328/stat : 19328 (java) S 19324 19326 18352 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19329] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19329/stat : 19329 (java) S 19324 19326 18352 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19330] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19330/stat : 19330 (java) S 19324 19326 18352 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273131651 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19331] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19331/stat : 19331 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19332] ppid=19324 vsize=915580 CPUtime=0.31
/proc/19326/task/19332/stat : 19332 (java) S 19324 19326 18352 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19326/tid=19333] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19333/stat : 19333 (java) S 19324 19326 18352 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19326/tid=19334] ppid=19324 vsize=915580 CPUtime=0
/proc/19326/task/19334/stat : 19334 (java) S 19324 19326 18352 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273131658 937553920 9029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1360.89
Current children cumulated vsize (KiB) 915580

Child status: 0
Real time (s): 1405.57
CPU time (s): 1402.59
CPU user time (s): 1402.28
CPU system time (s): 0.311952
CPU usage (%): 99.7886
Max. virtual memory (cumulated for all children) (KiB): 915580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1402.28
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9398
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= 29770
involuntary context switches= 58120

runsolver used 1.57576 s user time and 4.72128 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Fri Jan 19 22:56:08 UTC 2007


IDJOB= 276823
IDBENCH= 6043
IDSOLVER= 68
FILE ID= node16/276823-1169247368

PBS_JOBID= 3589025

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276823-1169247368/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-276823-1169247368 -o ROOT/results/node16/solver-276823-1169247368 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276823-1169247368/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bbc5696eb0d541204e78162136ebccd9

RANDOM SEED= 350863840

TIME LIMIT= 2400 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.220
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.220
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:       1318976 kB
Buffers:         44176 kB
Cached:         558376 kB
SwapCached:        268 kB
Active:         281580 kB
Inactive:       381576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1318976 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1796 kB
Writeback:           0 kB
Mapped:          86584 kB
Slab:            58260 kB
Committed_AS:  7446920 kB
PageTables:       2464 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= 66563 MiB



End job on node16 on Fri Jan 19 23:19:34 UTC 2007