runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4246835-1500688498/watcher-4246835-1500688498 -o /tmp/evaluation-result-4246835-1500688498/solver-4246835-1500688498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1693149485 HOME/instance-4246835-1500688498.xml
pid=6704
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 9.20 13.55 14.59 3/273 6707
/proc/meminfo: memFree=24520372/32770624 swapFree=5804/257100
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
[startup+0.100141 s]
/proc/loadavg: 9.20 13.55 14.59 3/273 6707
/proc/meminfo: memFree=24520372/32770624 swapFree=5804/257100
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200319 s]
/proc/loadavg: 9.20 13.55 14.59 3/273 6707
/proc/meminfo: memFree=24520372/32770624 swapFree=5804/257100
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300295 s]
/proc/loadavg: 9.20 13.55 14.59 3/273 6707
/proc/meminfo: memFree=24520372/32770624 swapFree=5804/257100
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700211 s]
/proc/loadavg: 9.20 13.55 14.59 3/273 6707
/proc/meminfo: memFree=24520372/32770624 swapFree=5804/257100
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50075 s]
/proc/loadavg: 9.20 13.55 14.59 7/294 6728
/proc/meminfo: memFree=24327324/32770624 swapFree=5804/257492
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
[pid=6708] ppid=6707 vsize=13269256 CPUtime=5.34 cores=0,2,4,6,8,10,12,14
/proc/6708/stat : 6708 (java) S 6707 6707 14782 0 -1 1077944320 15993 0 0 0 511 23 0 0 20 0 20 0 4116035 13587718144 58815 33554432000 4194304 4196468 140725552357824 140725552340368 140241769443063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
/proc/6708/statm: 3317314 58815 3239 1 0 3304547 0
[pid=6708/tid=6709] ppid=6707 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6709/stat : 6709 (java) R 6707 6707 14782 0 -1 4202560 6881 0 0 0 136 5 0 0 20 0 20 0 4116036 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241773676568 140241375702109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6711] ppid=6707 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6711/stat : 6711 (java) S 6707 6707 14782 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 20 0 4116036 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241701579408 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6712] ppid=6707 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6712/stat : 6712 (java) S 6707 6707 14782 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 20 0 4116036 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241700526608 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6713] ppid=6707 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6713/stat : 6713 (java) S 6707 6707 14782 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 20 0 4116036 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241699473808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6714] ppid=6707 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6714/stat : 6714 (java) S 6707 6707 14782 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 20 0 4116036 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241698421008 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6715] ppid=6707 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6715/stat : 6715 (java) S 6707 6707 14782 0 -1 1077944384 29 0 0 0 3 1 0 0 20 0 20 0 4116036 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241697369232 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6716] ppid=6707 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6716/stat : 6716 (java) S 6707 6707 14782 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 20 0 4116037 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241696316432 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6717] ppid=6707 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6717/stat : 6717 (java) S 6707 6707 14782 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 20 0 4116037 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241695263632 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6718] ppid=6707 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6718/stat : 6718 (java) S 6707 6707 14782 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 20 0 4116037 13587718144 58815 33554432000 4194304 4196468 140725552357824 140241694210832 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6719] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6719/stat : 6719 (java) S 6707 6707 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4116039 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240962840944 140241769454210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6720] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6720/stat : 6720 (java) S 6707 6707 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4116040 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240961786976 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6721] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6721/stat : 6721 (java) S 6707 6707 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4116040 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240960734080 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6722] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6722/stat : 6722 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4116044 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240959682384 140241769461659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6723] ppid=6707 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6723/stat : 6723 (java) R 6707 6707 14782 0 -1 4202560 2186 0 0 0 103 0 0 0 20 0 20 0 4116044 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240958616864 140241769464410 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6724] ppid=6707 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6724/stat : 6724 (java) R 6707 6707 14782 0 -1 4202560 1454 0 0 0 95 1 0 0 20 0 20 0 4116044 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240957558496 140241754368112 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6725] ppid=6707 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6725/stat : 6725 (java) R 6707 6707 14782 0 -1 4202560 1544 0 0 0 95 0 0 0 20 0 20 0 4116044 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240956511072 140241748659271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6726] ppid=6707 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6726/stat : 6726 (java) S 6707 6707 14782 0 -1 1077944384 2291 0 0 0 61 0 0 0 20 0 20 0 4116044 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240955472368 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6727] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6727/stat : 6727 (java) S 6707 6707 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4116044 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240954419808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6728] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6728/stat : 6728 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4116045 13587718144 58815 33554432000 4194304 4196468 140725552357824 140240953367088 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 13278768
[startup+3.10101 s]
/proc/loadavg: 9.20 13.55 14.59 11/294 6728
/proc/meminfo: memFree=23974060/32770624 swapFree=5804/257492
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
[pid=6708] ppid=6707 vsize=13269256 CPUtime=16.04 cores=0,2,4,6,8,10,12,14
/proc/6708/stat : 6708 (java) S 6707 6707 14782 0 -1 1077944320 21159 0 0 0 1457 147 0 0 20 0 20 0 4116035 13587718144 165259 33554432000 4194304 4196468 140725552357824 140725552340368 140241769443063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
/proc/6708/statm: 3317314 165259 3265 1 0 3304547 0
[pid=6708/tid=6709] ppid=6707 vsize=13269256 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6709/stat : 6709 (java) S 6707 6707 14782 0 -1 1077944384 6935 0 0 0 180 7 0 0 20 0 20 0 4116036 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241773681488 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6711] ppid=6707 vsize=13269256 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6711/stat : 6711 (java) R 6707 6707 14782 0 -1 4202560 179 0 0 0 94 18 0 0 20 0 20 0 4116036 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241701579528 140241762071271 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6712] ppid=6707 vsize=13269256 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6712/stat : 6712 (java) R 6707 6707 14782 0 -1 4202560 268 0 0 0 95 14 0 0 20 0 20 0 4116036 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241700526728 140241754143730 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6713] ppid=6707 vsize=13269256 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6713/stat : 6713 (java) R 6707 6707 14782 0 -1 4202560 203 0 0 0 96 15 0 0 20 0 20 0 4116036 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241699473616 140241762071271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6714] ppid=6707 vsize=13269256 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6714/stat : 6714 (java) R 6707 6707 14782 0 -1 4202560 191 0 0 0 96 20 0 0 20 0 20 0 4116036 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241698421128 140241754144080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6715] ppid=6707 vsize=13269256 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6715/stat : 6715 (java) R 6707 6707 14782 0 -1 4202560 153 0 0 0 93 16 0 0 20 0 20 0 4116036 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241697369352 140241754143713 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6716] ppid=6707 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6716/stat : 6716 (java) R 6707 6707 14782 0 -1 4202560 224 0 0 0 89 13 0 0 20 0 20 0 4116037 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241696316552 140241762071271 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6717] ppid=6707 vsize=13269256 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6717/stat : 6717 (java) R 6707 6707 14782 0 -1 4202560 206 0 0 0 92 18 0 0 20 0 20 0 4116037 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241695263752 140241754143713 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6718] ppid=6707 vsize=13269256 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6718/stat : 6718 (java) R 6707 6707 14782 0 -1 4202560 189 0 0 0 95 18 0 0 20 0 20 0 4116037 13587718144 165259 33554432000 4194304 4196468 140725552357824 140241694210952 140241754143678 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6719] ppid=6707 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6719/stat : 6719 (java) S 6707 6707 14782 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 4116039 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240962839488 140241769453269 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6720] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6720/stat : 6720 (java) S 6707 6707 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4116040 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240961786976 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6721] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6721/stat : 6721 (java) S 6707 6707 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4116040 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240960734080 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6722] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6722/stat : 6722 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4116044 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240959682384 140241769461659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6723] ppid=6707 vsize=13269256 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6723/stat : 6723 (java) S 6707 6707 14782 0 -1 1077944384 3184 0 0 0 159 0 0 0 20 0 20 0 4116044 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240958622048 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6724] ppid=6707 vsize=13269256 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6724/stat : 6724 (java) S 6707 6707 14782 0 -1 1077944384 2656 0 0 0 155 1 0 0 20 0 20 0 4116044 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240957562960 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6725] ppid=6707 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6725/stat : 6725 (java) S 6707 6707 14782 0 -1 1077944384 2960 0 0 0 147 0 0 0 20 0 20 0 4116044 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240956525168 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6726] ppid=6707 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6726/stat : 6726 (java) S 6707 6707 14782 0 -1 1077944384 2291 0 0 0 61 0 0 0 20 0 20 0 4116044 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240955472368 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6727] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6727/stat : 6727 (java) S 6707 6707 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4116044 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240954419808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6728] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6728/stat : 6728 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4116045 13587718144 165259 33554432000 4194304 4196468 140725552357824 140240953367088 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
Current children cumulated CPU time (s) 16.04
Current children cumulated vsize (KiB) 13278768
[startup+6.30111 s]
/proc/loadavg: 9.18 13.48 14.56 3/292 6729
/proc/meminfo: memFree=23259536/32770624 swapFree=5804/257480
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
[pid=6708] ppid=6707 vsize=13269256 CPUtime=31.79 cores=0,2,4,6,8,10,12,14
/proc/6708/stat : 6708 (java) S 6707 6707 14782 0 -1 1077944320 36524 0 0 0 2637 542 0 0 20 0 20 0 4116035 13587718144 425069 33554432000 4194304 4196468 140725552357824 140725552340368 140241769443063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
/proc/6708/statm: 3317314 425069 3275 1 0 3304547 0
[pid=6708/tid=6709] ppid=6707 vsize=13269256 CPUtime=3.5 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6709/stat : 6709 (java) S 6707 6707 14782 0 -1 1077944384 9007 0 0 0 338 12 0 0 20 0 20 0 4116036 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241773680832 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6711] ppid=6707 vsize=13269256 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6711/stat : 6711 (java) R 6707 6707 14782 0 -1 4202560 585 0 0 0 195 67 0 0 20 0 20 0 4116036 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241701579608 140241750996304 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6712] ppid=6707 vsize=13269256 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6712/stat : 6712 (java) R 6707 6707 14782 0 -1 4202560 723 0 0 0 197 64 0 0 20 0 20 0 4116036 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241700526808 140241751038966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6713] ppid=6707 vsize=13269256 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6713/stat : 6713 (java) R 6707 6707 14782 0 -1 4202560 872 0 0 0 197 63 0 0 20 0 20 0 4116036 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241699474008 140241754393668 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6714] ppid=6707 vsize=13269256 CPUtime=2.66 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6714/stat : 6714 (java) R 6707 6707 14782 0 -1 4202560 583 0 0 0 198 68 0 0 20 0 20 0 4116036 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241698421208 140241754428304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6715] ppid=6707 vsize=13269256 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6715/stat : 6715 (java) R 6707 6707 14782 0 -1 4202560 564 0 0 0 195 65 0 0 20 0 20 0 4116036 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241697369432 140241754393772 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6716] ppid=6707 vsize=13269256 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6716/stat : 6716 (java) R 6707 6707 14782 0 -1 4202560 808 0 0 0 191 61 0 0 20 0 20 0 4116037 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241696316632 140241751039818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6717] ppid=6707 vsize=13269256 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6717/stat : 6717 (java) R 6707 6707 14782 0 -1 4202560 763 0 0 0 193 65 0 0 20 0 20 0 4116037 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241695263832 140241754428359 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6718] ppid=6707 vsize=13269256 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6718/stat : 6718 (java) R 6707 6707 14782 0 -1 4202560 885 0 0 0 194 67 0 0 20 0 20 0 4116037 13587718144 425069 33554432000 4194304 4196468 140725552357824 140241694210720 140241754394162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6719] ppid=6707 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6719/stat : 6719 (java) S 6707 6707 14782 0 -1 1077944384 1411 0 0 0 6 0 0 0 20 0 20 0 4116039 13587718144 425069 33554432000 4194304 4196468 140725552357824 140240962839264 140241769453269 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6720] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6720/stat : 6720 (java) S 6707 6707 14782 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 4116040 13587718144 425069 33554432000 4194304 4196468 140725552357824 140240961786976 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6721] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6721/stat : 6721 (java) S 6707 6707 14782 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4116040 13587718144 425069 33554432000 4194304 4196468 140725552357824 140240960734080 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6722] ppid=6707 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6722/stat : 6722 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4116044 13587718144 425069 33554432000 4194304 4196468 140725552357824 140240959682384 140241769461659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
################
# More data... #
################
/proc/6708/task/6772/stat : 6772 (java) R 6707 6707 14782 0 -1 4202560 62785 0 0 0 131973 12 0 0 20 0 28 0 4137519 14133010432 1376354 33554432000 4194304 4196468 140725552357824 140240874190784 140241376629283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6773] ppid=6707 vsize=13801768 CPUtime=51.43 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6773/stat : 6773 (java) S 6707 6707 14782 0 -1 1077944384 906 0 0 0 5143 0 0 0 20 0 28 0 4137519 14133010432 1376354 33554432000 4194304 4196468 140725552357824 140240951813072 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
Current children cumulated CPU time (s) 2347.88
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1593.9 s]
/proc/loadavg: 2.92 4.02 5.38 3/291 7210
/proc/meminfo: memFree=22075412/32770624 swapFree=5804/259508
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
[pid=6708] ppid=6707 vsize=13801768 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/6708/stat : 6708 (java) S 6707 6707 14782 0 -1 1077944320 441479 0 0 0 237757 2249 0 0 20 0 28 0 4116035 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140725552340368 140241769443063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
/proc/6708/statm: 3450442 1376872 3295 1 0 3437675 0
[pid=6708/tid=6709] ppid=6707 vsize=13801768 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6709/stat : 6709 (java) S 6707 6707 14782 0 -1 1077944384 10658 0 0 0 639 12 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241773683840 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6711] ppid=6707 vsize=13801768 CPUtime=36.7 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6711/stat : 6711 (java) S 6707 6707 14782 0 -1 1077944384 22678 0 0 0 3402 268 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241701579408 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6712] ppid=6707 vsize=13801768 CPUtime=36.78 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6712/stat : 6712 (java) S 6707 6707 14782 0 -1 1077944384 31182 0 0 0 3418 260 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241700526608 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6713] ppid=6707 vsize=13801768 CPUtime=36.7 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6713/stat : 6713 (java) S 6707 6707 14782 0 -1 1077944384 28429 0 0 0 3396 274 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241699473808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6714] ppid=6707 vsize=13801768 CPUtime=36.59 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6714/stat : 6714 (java) S 6707 6707 14782 0 -1 1077944384 20966 0 0 0 3393 266 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241698421008 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6715] ppid=6707 vsize=13801768 CPUtime=36.69 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6715/stat : 6715 (java) S 6707 6707 14782 0 -1 1077944384 24267 0 0 0 3400 269 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241697369232 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6716] ppid=6707 vsize=13801768 CPUtime=36.82 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6716/stat : 6716 (java) S 6707 6707 14782 0 -1 1077944384 38344 0 0 0 3420 262 0 0 20 0 28 0 4116037 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241696316432 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6717] ppid=6707 vsize=13801768 CPUtime=36.67 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6717/stat : 6717 (java) S 6707 6707 14782 0 -1 1077944384 22175 0 0 0 3400 267 0 0 20 0 28 0 4116037 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241695263632 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6718] ppid=6707 vsize=13801768 CPUtime=36.41 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6718/stat : 6718 (java) S 6707 6707 14782 0 -1 1077944384 26236 0 0 0 3365 276 0 0 20 0 28 0 4116037 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241694210832 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6719] ppid=6707 vsize=13801768 CPUtime=4.16 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6719/stat : 6719 (java) S 6707 6707 14782 0 -1 1077944384 24450 0 0 0 398 18 0 0 20 0 28 0 4116039 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240962840944 140241769454210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6720] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6720/stat : 6720 (java) S 6707 6707 14782 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4116040 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240961786976 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6721] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6721/stat : 6721 (java) S 6707 6707 14782 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 28 0 4116040 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240960734080 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6722] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6722/stat : 6722 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240959682384 140241769461659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6723] ppid=6707 vsize=13801768 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6723/stat : 6723 (java) S 6707 6707 14782 0 -1 1077944384 23897 0 0 0 536 3 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240958630768 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6724] ppid=6707 vsize=13801768 CPUtime=4.54 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6724/stat : 6724 (java) S 6707 6707 14782 0 -1 1077944384 17576 0 0 0 451 3 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240957577968 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6725] ppid=6707 vsize=13801768 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6725/stat : 6725 (java) S 6707 6707 14782 0 -1 1077944384 24443 0 0 0 527 4 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240956525168 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6726] ppid=6707 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6726/stat : 6726 (java) S 6707 6707 14782 0 -1 1077944384 18018 0 0 0 130 3 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240955472368 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6727] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6727/stat : 6727 (java) S 6707 6707 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240954419808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6728] ppid=6707 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6728/stat : 6728 (java) S 6707 6707 14782 0 -1 1077944384 2597 0 0 0 48 48 0 0 20 0 28 0 4116045 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240953367088 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6766] ppid=6707 vsize=13801768 CPUtime=29.11 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6766/stat : 6766 (java) S 6707 6707 14782 0 -1 1077944384 923 0 0 0 2911 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240872087024 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6767] ppid=6707 vsize=13801768 CPUtime=28.99 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6767/stat : 6767 (java) S 6707 6707 14782 0 -1 1077944384 1030 0 0 0 2899 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240873140944 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6768] ppid=6707 vsize=13801768 CPUtime=29 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6768/stat : 6768 (java) S 6707 6707 14782 0 -1 1077944384 1339 0 0 0 2900 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240875247184 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6769] ppid=6707 vsize=13801768 CPUtime=28.93 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6769/stat : 6769 (java) S 6707 6707 14782 0 -1 1077944384 1726 0 0 0 2893 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240869983696 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6770] ppid=6707 vsize=13801768 CPUtime=28.73 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6770/stat : 6770 (java) S 6707 6707 14782 0 -1 1077944384 1352 0 0 0 2873 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240871036240 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6771] ppid=6707 vsize=13801768 CPUtime=28.62 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6771/stat : 6771 (java) S 6707 6707 14782 0 -1 1077944384 1251 0 0 0 2862 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240876299472 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6772] ppid=6707 vsize=13801768 CPUtime=1371.34 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6772/stat : 6772 (java) R 6707 6707 14782 0 -1 4202560 65366 0 0 0 137121 13 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240874190848 140241371458553 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6773] ppid=6707 vsize=13801768 CPUtime=51.43 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6773/stat : 6773 (java) S 6707 6707 14782 0 -1 1077944384 906 0 0 0 5143 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240951813072 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6708 sig 9
??? kill 6707 sig 9
??? kill -6707 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1593.9 s]
/proc/loadavg: 2.92 4.02 5.38 3/291 7210
/proc/meminfo: memFree=22075412/32770624 swapFree=5804/259508
[pid=6707] ppid=6704 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6707/stat : 6707 (xcsp3-exec) S 6704 6707 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4116035 9740288 346 33554432000 4194304 5098028 140736215536080 140736215534184 139740569444988 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 16228352 140736215544974 140736215545184 140736215545184 140736215547883 0
/proc/6707/statm: 2378 346 289 221 0 87 0
[pid=6708] ppid=6707 vsize=13801768 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/6708/stat : 6708 (java) S 6707 6707 14782 0 -1 1077944320 441479 0 0 0 237757 2249 0 0 20 0 28 0 4116035 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140725552340368 140241769443063 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
/proc/6708/statm: 3450442 1376872 3295 1 0 3437675 0
[pid=6708/tid=6709] ppid=6707 vsize=13801768 CPUtime=6.51 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6709/stat : 6709 (java) S 6707 6707 14782 0 -1 1077944384 10658 0 0 0 639 12 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241773683840 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6711] ppid=6707 vsize=13801768 CPUtime=36.7 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6711/stat : 6711 (java) S 6707 6707 14782 0 -1 1077944384 22678 0 0 0 3402 268 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241701579408 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6712] ppid=6707 vsize=13801768 CPUtime=36.78 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6712/stat : 6712 (java) S 6707 6707 14782 0 -1 1077944384 31182 0 0 0 3418 260 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241700526608 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6713] ppid=6707 vsize=13801768 CPUtime=36.7 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6713/stat : 6713 (java) S 6707 6707 14782 0 -1 1077944384 28429 0 0 0 3396 274 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241699473808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6714] ppid=6707 vsize=13801768 CPUtime=36.59 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6714/stat : 6714 (java) S 6707 6707 14782 0 -1 1077944384 20966 0 0 0 3393 266 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241698421008 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6715] ppid=6707 vsize=13801768 CPUtime=36.69 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6715/stat : 6715 (java) S 6707 6707 14782 0 -1 1077944384 24267 0 0 0 3400 269 0 0 20 0 28 0 4116036 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241697369232 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6716] ppid=6707 vsize=13801768 CPUtime=36.82 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6716/stat : 6716 (java) S 6707 6707 14782 0 -1 1077944384 38344 0 0 0 3420 262 0 0 20 0 28 0 4116037 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241696316432 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6717] ppid=6707 vsize=13801768 CPUtime=36.67 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6717/stat : 6717 (java) S 6707 6707 14782 0 -1 1077944384 22175 0 0 0 3400 267 0 0 20 0 28 0 4116037 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241695263632 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6718] ppid=6707 vsize=13801768 CPUtime=36.41 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6718/stat : 6718 (java) S 6707 6707 14782 0 -1 1077944384 26236 0 0 0 3365 276 0 0 20 0 28 0 4116037 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140241694210832 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6719] ppid=6707 vsize=13801768 CPUtime=4.16 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6719/stat : 6719 (java) S 6707 6707 14782 0 -1 1077944384 24450 0 0 0 398 18 0 0 20 0 28 0 4116039 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240962840944 140241769454210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6720] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6720/stat : 6720 (java) S 6707 6707 14782 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 4116040 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240961786976 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6721] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6721/stat : 6721 (java) S 6707 6707 14782 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 28 0 4116040 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240960734080 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6722] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6722/stat : 6722 (java) S 6707 6707 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240959682384 140241769461659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6723] ppid=6707 vsize=13801768 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6723/stat : 6723 (java) S 6707 6707 14782 0 -1 1077944384 23897 0 0 0 536 3 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240958630768 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6724] ppid=6707 vsize=13801768 CPUtime=4.54 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6724/stat : 6724 (java) S 6707 6707 14782 0 -1 1077944384 17576 0 0 0 451 3 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240957577968 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6725] ppid=6707 vsize=13801768 CPUtime=5.31 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6725/stat : 6725 (java) S 6707 6707 14782 0 -1 1077944384 24443 0 0 0 527 4 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240956525168 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6726] ppid=6707 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6726/stat : 6726 (java) S 6707 6707 14782 0 -1 1077944384 18018 0 0 0 130 3 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240955472368 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6727] ppid=6707 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6727/stat : 6727 (java) S 6707 6707 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4116044 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240954419808 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6728] ppid=6707 vsize=13801768 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6728/stat : 6728 (java) S 6707 6707 14782 0 -1 1077944384 2597 0 0 0 48 48 0 0 20 0 28 0 4116045 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240953367088 140241769454210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6766] ppid=6707 vsize=13801768 CPUtime=29.11 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6766/stat : 6766 (java) S 6707 6707 14782 0 -1 1077944384 923 0 0 0 2911 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240872087024 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6767] ppid=6707 vsize=13801768 CPUtime=28.99 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6767/stat : 6767 (java) S 6707 6707 14782 0 -1 1077944384 1030 0 0 0 2899 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240873140944 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6768] ppid=6707 vsize=13801768 CPUtime=29 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6768/stat : 6768 (java) S 6707 6707 14782 0 -1 1077944384 1339 0 0 0 2900 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240875247184 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6769] ppid=6707 vsize=13801768 CPUtime=28.93 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6769/stat : 6769 (java) S 6707 6707 14782 0 -1 1077944384 1726 0 0 0 2893 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240869983696 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6770] ppid=6707 vsize=13801768 CPUtime=28.73 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6770/stat : 6770 (java) S 6707 6707 14782 0 -1 1077944384 1352 0 0 0 2873 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240871036240 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6771] ppid=6707 vsize=13801768 CPUtime=28.62 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6771/stat : 6771 (java) S 6707 6707 14782 0 -1 1077944384 1251 0 0 0 2862 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240876299472 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6772] ppid=6707 vsize=13801768 CPUtime=1371.34 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6772/stat : 6772 (java) R 6707 6707 14782 0 -1 4202560 65366 0 0 0 137121 13 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240874190848 140241371458553 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
[pid=6708/tid=6773] ppid=6707 vsize=13801768 CPUtime=51.43 cores=0,2,4,6,8,10,12,14
/proc/6708/task/6773/stat : 6773 (java) S 6707 6707 14782 0 -1 1077944384 906 0 0 0 5143 0 0 0 20 0 28 0 4137519 14133010432 1376872 33554432000 4194304 4196468 140725552357824 140240951813072 140241769453269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9199616 140725552362684 140725552362860 140725552362860 140725552365519 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6707 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=948
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1896
# CPU time returned by wait4() is 0.002844
# while last known CPU time is 2400.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1593.92
CPU time (s): 2400.06
CPU user time (s): 2377.57
CPU system time (s): 22.49
CPU usage (%): 150.576
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000948
system time used= 0.001896
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1582 second user time and 14.5275 second system time
The end