runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459217-1307134749/watcher-3459217-1307134749 -o /tmp/evaluation-result-3459217-1307134749/solver-3459217-1307134749 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459217-1307134749.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.05 2.36 2/418 3745
/proc/meminfo: memFree=30000044/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 2386 0 1 0 0 0 0 0 25 0 2 0 825074639 13833195520 2089 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3377245 2103 906 9 0 3368401 0
[pid=3745/tid=3746] ppid=3743 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 4918 0 1 0 0 0 0 0 25 0 2 0 825074640 13850947584 5734 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0146429 s]
/proc/loadavg: 2.10 2.05 2.36 2/418 3745
/proc/meminfo: memFree=30000044/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 6230 0 1 0 0 1 0 0 25 0 2 0 825074639 13850947584 5933 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3381579 5948 917 9 0 3372735 0
[pid=3745/tid=3746] ppid=3743 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 5143 0 1 0 0 0 0 0 25 0 2 0 825074640 13850947584 5959 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100631 s]
/proc/loadavg: 2.10 2.05 2.36 2/418 3745
/proc/meminfo: memFree=30000044/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13622396 CPUtime=0.1 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 15590 0 1 0 9 1 0 0 25 0 18 0 825074639 13949333504 15288 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3405599 15288 2093 9 0 3396333 0
[pid=3745/tid=3746] ppid=3743 vsize=13622396 CPUtime=0.08 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 13675 0 1 0 7 1 0 0 18 0 18 0 825074640 13949333504 15288 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237278538484 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622396
[startup+0.305657 s]
/proc/loadavg: 2.10 2.05 2.36 2/418 3745
/proc/meminfo: memFree=30000044/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13624196 CPUtime=0.5 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 18741 0 1 0 48 2 0 0 25 0 19 0 825074639 13951176704 17808 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3406049 17808 2210 9 0 3396783 0
[pid=3745/tid=3746] ppid=3743 vsize=13624196 CPUtime=0.28 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 15466 0 1 0 27 1 0 0 19 0 19 0 825074640 13951176704 17808 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 46912505357434 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624196
[startup+0.700617 s]
/proc/loadavg: 2.10 2.05 2.36 2/418 3745
/proc/meminfo: memFree=30000044/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13626440 CPUtime=1.22 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 21140 0 1 0 119 3 0 0 25 0 19 0 825074639 13953474560 19335 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3406610 19335 2252 9 0 3397344 0
[pid=3745/tid=3746] ppid=3743 vsize=13626440 CPUtime=0.67 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 15761 0 1 0 65 2 0 0 19 0 19 0 825074640 13953474560 19335 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 46912505717513 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13626440
[startup+1.50144 s]
/proc/loadavg: 2.10 2.05 2.36 4/437 3764
/proc/meminfo: memFree=29928804/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13626440 CPUtime=2.05 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 21664 0 1 0 202 3 0 0 25 0 19 0 825074639 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3406610 19857 2252 9 0 3397344 0
[pid=3745/tid=3746] ppid=3743 vsize=13626440 CPUtime=1.45 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 15763 0 1 0 143 2 0 0 20 0 19 0 825074640 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 46912505658250 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3745/tid=3748] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3748/stat : 3748 (java) S 3743 3745 31595 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3749] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3749/stat : 3749 (java) S 3743 3745 31595 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3750] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3750/stat : 3750 (java) S 3743 3745 31595 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3751] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3751/stat : 3751 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3752] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3752/stat : 3752 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3753] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3753/stat : 3753 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3754] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3754/stat : 3754 (java) S 3743 3745 31595 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3755] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3755/stat : 3755 (java) S 3743 3745 31595 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3756] ppid=3743 vsize=13626440 CPUtime=0.03 cores=0,2,4,6
/proc/3745/task/3756/stat : 3756 (java) S 3743 3745 31595 0 -1 4202560 469 0 0 0 3 0 0 0 16 0 19 0 825074643 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 0 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3757] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3757/stat : 3757 (java) S 3743 3745 31595 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3758] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3758/stat : 3758 (java) S 3743 3745 31595 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3759] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3759/stat : 3759 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290703281 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3760] ppid=3743 vsize=13626440 CPUtime=0.24 cores=0,2,4,6
/proc/3745/task/3760/stat : 3760 (java) S 3743 3745 31595 0 -1 4202560 1647 0 0 0 24 0 0 0 15 0 19 0 825074645 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 0 0 0 0
[pid=3745/tid=3761] ppid=3743 vsize=13626440 CPUtime=0.3 cores=0,2,4,6
/proc/3745/task/3761/stat : 3761 (java) S 3743 3745 31595 0 -1 4202560 2064 0 0 0 30 0 0 0 15 0 19 0 825074645 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3762] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3762/stat : 3762 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3763] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3763/stat : 3763 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074645 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3764] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3764/stat : 3764 (java) S 3743 3745 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825074669 13953474560 19857 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 13626440
Solver just ended. Dumping a history of the last processes samples
[startup+1.90138 s]
/proc/loadavg: 2.10 2.05 2.36 4/437 3764
/proc/meminfo: memFree=29928804/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13626440 CPUtime=2.48 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 21796 0 1 0 245 3 0 0 25 0 19 0 825074639 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3406610 19988 2252 9 0 3397344 0
[pid=3745/tid=3746] ppid=3743 vsize=13626440 CPUtime=1.83 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 15763 0 1 0 181 2 0 0 21 0 19 0 825074640 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 46912505672885 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3745/tid=3748] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3748/stat : 3748 (java) S 3743 3745 31595 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3749] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3749/stat : 3749 (java) S 3743 3745 31595 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3750] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3750/stat : 3750 (java) S 3743 3745 31595 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3751] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3751/stat : 3751 (java) S 3743 3745 31595 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3752] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3752/stat : 3752 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3753] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3753/stat : 3753 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3754] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3754/stat : 3754 (java) S 3743 3745 31595 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3755] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3755/stat : 3755 (java) S 3743 3745 31595 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3756] ppid=3743 vsize=13626440 CPUtime=0.05 cores=0,2,4,6
/proc/3745/task/3756/stat : 3756 (java) S 3743 3745 31595 0 -1 4202560 469 0 0 0 5 0 0 0 16 0 19 0 825074643 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 0 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3757] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3757/stat : 3757 (java) S 3743 3745 31595 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3758] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3758/stat : 3758 (java) S 3743 3745 31595 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3759] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3759/stat : 3759 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290703281 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3760] ppid=3743 vsize=13626440 CPUtime=0.24 cores=0,2,4,6
/proc/3745/task/3760/stat : 3760 (java) S 3743 3745 31595 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 825074645 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 0 0 0 0
[pid=3745/tid=3761] ppid=3743 vsize=13626440 CPUtime=0.32 cores=0,2,4,6
/proc/3745/task/3761/stat : 3761 (java) S 3743 3745 31595 0 -1 4202560 2070 0 0 0 32 0 0 0 15 0 19 0 825074645 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3762] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3762/stat : 3762 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3763] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3763/stat : 3763 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074645 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3764] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3764/stat : 3764 (java) S 3743 3745 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825074669 13953474560 19988 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 13626440
[startup+2.30128 s]
/proc/loadavg: 2.10 2.05 2.36 3/437 3764
/proc/meminfo: memFree=29927068/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13626440 CPUtime=2.88 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 21966 0 1 0 285 3 0 0 25 0 19 0 825074639 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3406610 20157 2252 9 0 3397344 0
[pid=3745/tid=3746] ppid=3743 vsize=13626440 CPUtime=2.21 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 15764 0 1 0 219 2 0 0 21 0 19 0 825074640 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 46912505615685 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3745/tid=3748] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3748/stat : 3748 (java) S 3743 3745 31595 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3749] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3749/stat : 3749 (java) S 3743 3745 31595 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3750] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3750/stat : 3750 (java) S 3743 3745 31595 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3751] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3751/stat : 3751 (java) S 3743 3745 31595 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3752] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3752/stat : 3752 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3753] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3753/stat : 3753 (java) S 3743 3745 31595 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3754] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3754/stat : 3754 (java) S 3743 3745 31595 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3755] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3755/stat : 3755 (java) S 3743 3745 31595 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3756] ppid=3743 vsize=13626440 CPUtime=0.06 cores=0,2,4,6
/proc/3745/task/3756/stat : 3756 (java) S 3743 3745 31595 0 -1 4202560 548 0 0 0 6 0 0 0 16 0 19 0 825074643 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 0 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3757] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3757/stat : 3757 (java) S 3743 3745 31595 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3758] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3758/stat : 3758 (java) S 3743 3745 31595 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3759] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3759/stat : 3759 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290703281 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3760] ppid=3743 vsize=13626440 CPUtime=0.24 cores=0,2,4,6
/proc/3745/task/3760/stat : 3760 (java) S 3743 3745 31595 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 0 0 0 0
[pid=3745/tid=3761] ppid=3743 vsize=13626440 CPUtime=0.32 cores=0,2,4,6
/proc/3745/task/3761/stat : 3761 (java) S 3743 3745 31595 0 -1 4202560 2070 0 0 0 32 0 0 0 15 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3762] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3762/stat : 3762 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3763] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3763/stat : 3763 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3764] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3764/stat : 3764 (java) S 3743 3745 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825074669 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 13626440
[startup+2.40129 s]
/proc/loadavg: 2.10 2.05 2.36 3/437 3764
/proc/meminfo: memFree=29927068/32950904 swapFree=56615552/67111528
[pid=3745] ppid=3743 vsize=13626440 CPUtime=2.98 cores=0,2,4,6
/proc/3745/stat : 3745 (java) S 3743 3745 31595 0 -1 4202496 21966 0 1 0 295 3 0 0 25 0 19 0 825074639 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/3745/statm: 3406610 20157 2252 9 0 3397344 0
[pid=3745/tid=3746] ppid=3743 vsize=13626440 CPUtime=2.31 cores=0,2,4,6
/proc/3745/task/3746/stat : 3746 (java) R 3743 3745 31595 0 -1 4202560 15764 0 1 0 229 2 0 0 21 0 19 0 825074640 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 46912505635588 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3745/tid=3748] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3748/stat : 3748 (java) S 3743 3745 31595 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3749] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3749/stat : 3749 (java) S 3743 3745 31595 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3750] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3750/stat : 3750 (java) S 3743 3745 31595 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3751] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3751/stat : 3751 (java) S 3743 3745 31595 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3752] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3752/stat : 3752 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3753] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3753/stat : 3753 (java) S 3743 3745 31595 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3754] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3754/stat : 3754 (java) S 3743 3745 31595 0 -1 4202560 182 0 0 0 0 0 0 0 16 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3755] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3755/stat : 3755 (java) S 3743 3745 31595 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 19 0 825074642 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3756] ppid=3743 vsize=13626440 CPUtime=0.06 cores=0,2,4,6
/proc/3745/task/3756/stat : 3756 (java) S 3743 3745 31595 0 -1 4202560 548 0 0 0 6 0 0 0 16 0 19 0 825074643 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 0 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3757] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3757/stat : 3757 (java) S 3743 3745 31595 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3758] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3758/stat : 3758 (java) S 3743 3745 31595 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 825074643 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3759] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3759/stat : 3759 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290703281 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3760] ppid=3743 vsize=13626440 CPUtime=0.24 cores=0,2,4,6
/proc/3745/task/3760/stat : 3760 (java) S 3743 3745 31595 0 -1 4202560 1648 0 0 0 24 0 0 0 15 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 0 0 0 0
[pid=3745/tid=3761] ppid=3743 vsize=13626440 CPUtime=0.32 cores=0,2,4,6
/proc/3745/task/3761/stat : 3761 (java) S 3743 3745 31595 0 -1 4202560 2070 0 0 0 32 0 0 0 15 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
[pid=3745/tid=3762] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3762/stat : 3762 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290695577 0 4 0 16800975 18446604444325568704 0 0 -1 4 0 0 0
[pid=3745/tid=3763] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3763/stat : 3763 (java) S 3743 3745 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825074645 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 6 0 0 0
[pid=3745/tid=3764] ppid=3743 vsize=13626440 CPUtime=0 cores=0,2,4,6
/proc/3745/task/3764/stat : 3764 (java) S 3743 3745 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825074669 13953474560 20157 33554432000 1073741824 1073778376 140736271357488 18446744073709551615 237290696192 0 4 0 16800975 18446604444325568704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 13626440
Child status: 10
Real time (s): 2.44938
CPU time (s): 3.03854
CPU user time (s): 3.00254
CPU system time (s): 0.035994
CPU usage (%): 124.053
Max. virtual memory (cumulated for all children) (KiB): 13626440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.00254
system time used= 0.035994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21996
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= 348
involuntary context switches= 90
runsolver used 0.017997 second user time and 0.027995 second system time
The end