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-4244409-1500682728/watcher-4244409-1500682728 -o /tmp/evaluation-result-4244409-1500682728/solver-4244409-1500682728 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 684591718 HOME/instance-4244409-1500682728.xml
pid=8498
running on 8 cores: 1,3,5,7,9,11,13,15
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: 15.96 10.44 5.45 11/272 8501
/proc/meminfo: memFree=31682176/32770624 swapFree=5880/236916
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
[startup+0.100133 s]
/proc/loadavg: 15.96 10.44 5.45 11/272 8501
/proc/meminfo: memFree=31682176/32770624 swapFree=5880/236916
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200324 s]
/proc/loadavg: 15.96 10.44 5.45 11/272 8501
/proc/meminfo: memFree=31682176/32770624 swapFree=5880/236916
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300313 s]
/proc/loadavg: 15.96 10.44 5.45 11/272 8501
/proc/meminfo: memFree=31682176/32770624 swapFree=5880/236916
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70021 s]
/proc/loadavg: 15.96 10.44 5.45 11/272 8501
/proc/meminfo: memFree=31682176/32770624 swapFree=5880/236916
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50119 s]
/proc/loadavg: 15.96 10.44 5.45 14/293 8522
/proc/meminfo: memFree=31523632/32770624 swapFree=5880/236800
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
[pid=8502] ppid=8501 vsize=13269256 CPUtime=5.36 cores=1,3,5,7,9,11,13,15
/proc/8502/stat : 8502 (java) S 8501 8501 7744 0 -1 1077944320 25057 0 0 0 506 30 0 0 20 0 20 0 3540477 13587718144 64051 33554432000 4194304 4196468 140721196231184 140721196213728 140284894711543 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
/proc/8502/statm: 3317314 64051 3254 1 0 3304547 0
[pid=8502/tid=8503] ppid=8501 vsize=13269256 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8503/stat : 8503 (java) S 8501 8501 7744 0 -1 1077944384 7934 0 0 0 134 5 0 0 20 0 20 0 3540477 13587718144 64051 33554432000 4194304 4196468 140721196231184 140284898949248 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8505] ppid=8501 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8505/stat : 8505 (java) R 8501 8501 7744 0 -1 4202560 89 0 0 0 2 2 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284847331928 140284879739399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8506] ppid=8501 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8506/stat : 8506 (java) R 8501 8501 7744 0 -1 4202560 31 0 0 0 2 3 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284846279128 140284879739417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8507] ppid=8501 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8507/stat : 8507 (java) R 8501 8501 7744 0 -1 4202560 169 0 0 0 3 2 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284845226640 140284879739417 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8508] ppid=8501 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8508/stat : 8508 (java) R 8501 8501 7744 0 -1 4202560 29 0 0 0 1 1 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284844174040 140284879738678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8509] ppid=8501 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8509/stat : 8509 (java) R 8501 8501 7744 0 -1 4202560 51 0 0 0 2 2 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284843121752 140284887818089 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8510] ppid=8501 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8510/stat : 8510 (java) R 8501 8501 7744 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284842068952 140284879739417 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8511] ppid=8501 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8511/stat : 8511 (java) R 8501 8501 7744 0 -1 4202560 67 0 0 0 3 2 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284841016664 140284879738666 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8512] ppid=8501 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8512/stat : 8512 (java) R 8501 8501 7744 0 -1 4202560 66 0 0 0 3 2 0 0 20 0 20 0 3540478 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284486155480 140284887817235 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8513] ppid=8501 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8513/stat : 8513 (java) S 8501 8501 7744 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 3540481 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284088230560 140284894721749 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8514] ppid=8501 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8514/stat : 8514 (java) S 8501 8501 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 3540482 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284087178016 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8515] ppid=8501 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8515/stat : 8515 (java) S 8501 8501 7744 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 3540482 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284086125680 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8516] ppid=8501 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8516/stat : 8516 (java) S 8501 8501 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3540486 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284085074000 140284894730139 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8517] ppid=8501 vsize=13269256 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8517/stat : 8517 (java) R 8501 8501 7744 0 -1 4202560 4158 0 0 0 93 1 0 0 20 0 20 0 3540487 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284084003072 140284878268225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8518] ppid=8501 vsize=13269256 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8518/stat : 8518 (java) R 8501 8501 7744 0 -1 4202560 3754 0 0 0 100 0 0 0 20 0 20 0 3540487 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284082953792 140284878211741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8519] ppid=8501 vsize=13269256 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8519/stat : 8519 (java) S 8501 8501 7744 0 -1 1077944384 3775 0 0 0 86 1 0 0 20 0 20 0 3540487 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284081901872 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8520] ppid=8501 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8520/stat : 8520 (java) S 8501 8501 7744 0 -1 1077944384 3367 0 0 0 67 1 0 0 20 0 20 0 3540487 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284080863984 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8521] ppid=8501 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8521/stat : 8521 (java) S 8501 8501 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3540487 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284079810912 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8522] ppid=8501 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8522/stat : 8522 (java) S 8501 8501 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3540487 13587718144 64563 33554432000 4194304 4196468 140721196231184 140284078758192 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 13278768
[startup+3.10166 s]
/proc/loadavg: 15.96 10.44 5.45 19/301 8530
/proc/meminfo: memFree=31217664/32770624 swapFree=5880/236800
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
[pid=8502] ppid=8501 vsize=13801768 CPUtime=16.78 cores=1,3,5,7,9,11,13,15
/proc/8502/stat : 8502 (java) S 8501 8501 7744 0 -1 1077944320 37781 0 0 0 1564 114 0 0 20 0 28 0 3540477 14133010432 139239 33554432000 4194304 4196468 140721196231184 140721196213728 140284894711543 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
/proc/8502/statm: 3450442 139239 3262 1 0 3437675 0
[pid=8502/tid=8503] ppid=8501 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8503/stat : 8503 (java) S 8501 8501 7744 0 -1 1077944384 8180 0 0 0 163 6 0 0 20 0 28 0 3540477 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284898952320 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8505] ppid=8501 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8505/stat : 8505 (java) S 8501 8501 7744 0 -1 1077944384 186 0 0 0 10 12 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284847331728 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8506] ppid=8501 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8506/stat : 8506 (java) S 8501 8501 7744 0 -1 1077944384 130 0 0 0 12 14 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284846278928 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8507] ppid=8501 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8507/stat : 8507 (java) S 8501 8501 7744 0 -1 1077944384 274 0 0 0 14 11 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284845226640 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8508] ppid=8501 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8508/stat : 8508 (java) S 8501 8501 7744 0 -1 1077944384 130 0 0 0 9 8 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284844173840 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8509] ppid=8501 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8509/stat : 8509 (java) S 8501 8501 7744 0 -1 1077944384 151 0 0 0 11 13 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284843121552 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8510] ppid=8501 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8510/stat : 8510 (java) S 8501 8501 7744 0 -1 1077944384 123 0 0 0 11 12 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284842068752 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8511] ppid=8501 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8511/stat : 8511 (java) S 8501 8501 7744 0 -1 1077944384 176 0 0 0 11 11 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284841016464 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8512] ppid=8501 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8512/stat : 8512 (java) S 8501 8501 7744 0 -1 1077944384 896 0 0 0 13 13 0 0 20 0 28 0 3540478 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284486155280 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8513] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8513/stat : 8513 (java) S 8501 8501 7744 0 -1 1077944384 522 0 0 0 0 0 0 0 20 0 28 0 3540481 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284088232048 140284894722690 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8514] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8514/stat : 8514 (java) S 8501 8501 7744 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3540482 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284087178080 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8515] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8515/stat : 8515 (java) S 8501 8501 7744 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 3540482 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284086125696 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8516] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8516/stat : 8516 (java) S 8501 8501 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3540486 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284085074000 140284894730139 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8517] ppid=8501 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8517/stat : 8517 (java) R 8501 8501 7744 0 -1 4202560 6121 0 0 0 205 1 0 0 20 0 28 0 3540487 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284084006344 140284879819068 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8518] ppid=8501 vsize=13801768 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8518/stat : 8518 (java) R 8501 8501 7744 0 -1 4202560 6221 0 0 0 209 1 0 0 20 0 28 0 3540487 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284082953736 140284879826786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8519] ppid=8501 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8519/stat : 8519 (java) R 8501 8501 7744 0 -1 4202560 7210 0 0 0 202 1 0 0 20 0 28 0 3540487 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284081902248 140284879835092 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8520] ppid=8501 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8520/stat : 8520 (java) S 8501 8501 7744 0 -1 1077944384 5083 0 0 0 95 2 0 0 20 0 28 0 3540487 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284080863984 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8521] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8521/stat : 8521 (java) S 8501 8501 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3540487 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284079810912 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8522] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8522/stat : 8522 (java) S 8501 8501 7744 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3540487 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284078758192 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8523] ppid=8501 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8523/stat : 8523 (java) R 8501 8501 7744 0 -1 4202560 101 0 0 0 73 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284070743072 140284527826938 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8524] ppid=8501 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8524/stat : 8524 (java) R 8501 8501 7744 0 -1 4202560 76 0 0 0 73 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284069692240 140284528346668 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8525] ppid=8501 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8525/stat : 8525 (java) R 8501 8501 7744 0 -1 4202560 98 0 0 0 70 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284068640560 140284528413371 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8526] ppid=8501 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8526/stat : 8526 (java) R 8501 8501 7744 0 -1 4202560 200 0 0 0 75 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284067581720 140284527699583 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8527] ppid=8501 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8527/stat : 8527 (java) R 8501 8501 7744 0 -1 1077944384 127 0 0 0 75 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284066533088 140284894721749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8528] ppid=8501 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8528/stat : 8528 (java) R 8501 8501 7744 0 -1 4202560 262 0 0 0 67 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284065480296 140284528589882 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8529] ppid=8501 vsize=13801768 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8529/stat : 8529 (java) R 8501 8501 7744 0 -1 4202560 97 0 0 0 76 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284064426072 140284527810896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8530] ppid=8501 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8530/stat : 8530 (java) R 8501 8501 7744 0 -1 4202560 65 0 0 0 80 0 0 0 20 0 28 0 3540663 14133010432 139239 33554432000 4194304 4196468 140721196231184 140284063373248 140284527643744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 16.28 10.59 5.53 18/301 8530
/proc/meminfo: memFree=30987416/32770624 swapFree=5880/236812
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
[pid=8502] ppid=8501 vsize=13801768 CPUtime=41.12 cores=1,3,5,7,9,11,13,15
/proc/8502/stat : 8502 (java) S 8501 8501 7744 0 -1 1077944320 50861 0 0 0 3936 176 0 0 20 0 28 0 3540477 14133010432 178378 33554432000 4194304 4196468 140721196231184 140721196213728 140284894711543 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
/proc/8502/statm: 3450442 178378 3287 1 0 3437675 0
[pid=8502/tid=8503] ppid=8501 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8503/stat : 8503 (java) S 8501 8501 7744 0 -1 1077944384 8180 0 0 0 163 6 0 0 20 0 28 0 3540477 14133010432 178378 33554432000 4194304 4196468 140721196231184 140284898952320 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8505] ppid=8501 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8505/stat : 8505 (java) S 8501 8501 7744 0 -1 1077944384 274 0 0 0 80 18 0 0 20 0 28 0 3540478 14133010432 178378 33554432000 4194304 4196468 140721196231184 140284847331728 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8506] ppid=8501 vsize=13801768 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8506/stat : 8506 (java) S 8501 8501 7744 0 -1 1077944384 377 0 0 0 83 22 0 0 20 0 28 0 3540478 14133010432 178378 33554432000 4194304 4196468 140721196231184 140284846278928 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8507] ppid=8501 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8507/stat : 8507 (java) S 8501 8501 7744 0 -1 1077944384 368 0 0 0 85 19 0 0 20 0 28 0 3540478 14133010432 178378 33554432000 4194304 4196468 140721196231184 140284845226640 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8508] ppid=8501 vsize=13801768 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8508/stat : 8508 (java) S 8501 8501 7744 0 -1 1077944384 328 0 0 0 81 15 0 0 20 0 28 0 3540478 14133010432 178378 33554432000 4194304 4196468 140721196231184 140284844173840 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
################
# More data... #
################
[pid=8502/tid=8529] ppid=8501 vsize=13801768 CPUtime=274.49 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8529/stat : 8529 (java) R 8501 8501 7744 0 -1 4202560 1722 0 0 0 27446 3 0 0 20 0 28 0 3540663 14133010432 652490 33554432000 4194304 4196468 140721196231184 140284064427656 140284530674034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8530] ppid=8501 vsize=13801768 CPUtime=273.58 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8530/stat : 8530 (java) R 8501 8501 7744 0 -1 4202560 1728 0 0 0 27357 1 0 0 20 0 28 0 3540663 14133010432 652490 33554432000 4194304 4196468 140721196231184 140284063373928 140284527997284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
Current children cumulated CPU time (s) 2238.16
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.302 s]
/proc/loadavg: 14.11 13.47 8.23 17/299 8676
/proc/meminfo: memFree=28891916/32770624 swapFree=5880/237188
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
[pid=8502] ppid=8501 vsize=13801768 CPUtime=2400.13 cores=1,3,5,7,9,11,13,15
/proc/8502/stat : 8502 (java) S 8501 8501 7744 0 -1 1077944320 132912 0 0 0 239285 728 0 0 20 0 28 0 3540477 14133010432 698599 33554432000 4194304 4196468 140721196231184 140721196213728 140284894711543 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
/proc/8502/statm: 3450442 698599 3301 1 0 3437675 0
[pid=8502/tid=8503] ppid=8501 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8503/stat : 8503 (java) S 8501 8501 7744 0 -1 1077944384 8180 0 0 0 163 6 0 0 20 0 28 0 3540477 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284898952320 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8505] ppid=8501 vsize=13801768 CPUtime=4.37 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8505/stat : 8505 (java) S 8501 8501 7744 0 -1 1077944384 2913 0 0 0 356 81 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284847331728 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8506] ppid=8501 vsize=13801768 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8506/stat : 8506 (java) S 8501 8501 7744 0 -1 1077944384 2236 0 0 0 363 82 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284846278928 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8507] ppid=8501 vsize=13801768 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8507/stat : 8507 (java) S 8501 8501 7744 0 -1 1077944384 2473 0 0 0 353 90 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284845226640 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8508] ppid=8501 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8508/stat : 8508 (java) S 8501 8501 7744 0 -1 1077944384 2254 0 0 0 365 75 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284844173840 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8509] ppid=8501 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8509/stat : 8509 (java) S 8501 8501 7744 0 -1 1077944384 1333 0 0 0 356 84 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284843121552 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8510] ppid=8501 vsize=13801768 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8510/stat : 8510 (java) S 8501 8501 7744 0 -1 1077944384 1516 0 0 0 360 83 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284842068752 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8511] ppid=8501 vsize=13801768 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8511/stat : 8511 (java) S 8501 8501 7744 0 -1 1077944384 2043 0 0 0 361 81 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284841016464 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8512] ppid=8501 vsize=13801768 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8512/stat : 8512 (java) S 8501 8501 7744 0 -1 1077944384 2039 0 0 0 366 83 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284486155280 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8513] ppid=8501 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8513/stat : 8513 (java) S 8501 8501 7744 0 -1 1077944384 7608 0 0 0 94 12 0 0 20 0 28 0 3540481 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284088232048 140284894722690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8514] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8514/stat : 8514 (java) S 8501 8501 7744 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3540482 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284087178080 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8515] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8515/stat : 8515 (java) S 8501 8501 7744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3540482 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284086125696 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8516] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8516/stat : 8516 (java) S 8501 8501 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3540486 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284085074000 140284894730139 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8517] ppid=8501 vsize=13801768 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8517/stat : 8517 (java) S 8501 8501 7744 0 -1 1077944384 19299 0 0 0 611 3 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284084021872 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8518] ppid=8501 vsize=13801768 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8518/stat : 8518 (java) S 8501 8501 7744 0 -1 1077944384 20626 0 0 0 652 3 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284082969072 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8519] ppid=8501 vsize=13801768 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8519/stat : 8519 (java) S 8501 8501 7744 0 -1 1077944384 22100 0 0 0 588 4 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284081916784 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8520] ppid=8501 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8520/stat : 8520 (java) S 8501 8501 7744 0 -1 1077944384 14076 0 0 0 144 4 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284080863984 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8521] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8521/stat : 8521 (java) S 8501 8501 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284079810912 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8522] ppid=8501 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8522/stat : 8522 (java) S 8501 8501 7744 0 -1 1077944384 1639 0 0 0 9 8 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284078758192 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 7 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8523] ppid=8501 vsize=13801768 CPUtime=293.69 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8523/stat : 8523 (java) R 8501 8501 7744 0 -1 4202560 2802 0 0 0 29367 2 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284070742376 140284523126275 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8524] ppid=8501 vsize=13801768 CPUtime=292.41 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8524/stat : 8524 (java) R 8501 8501 7744 0 -1 4202560 1951 0 0 0 29238 3 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284069690712 140284527996896 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8525] ppid=8501 vsize=13801768 CPUtime=292.73 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8525/stat : 8525 (java) R 8501 8501 7744 0 -1 4202560 4009 0 0 0 29270 3 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284068638560 140284532058335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8526] ppid=8501 vsize=13801768 CPUtime=293.52 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8526/stat : 8526 (java) R 8501 8501 7744 0 -1 4202560 4206 0 0 0 29350 2 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284067586056 140284522708381 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8527] ppid=8501 vsize=13801768 CPUtime=293.6 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8527/stat : 8527 (java) R 8501 8501 7744 0 -1 4202560 2083 0 0 0 29359 1 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284066534200 140284529579086 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8528] ppid=8501 vsize=13801768 CPUtime=290.02 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8528/stat : 8528 (java) R 8501 8501 7744 0 -1 4202560 2664 0 0 0 29000 2 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284065480648 140284530674560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8529] ppid=8501 vsize=13801768 CPUtime=293.22 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8529/stat : 8529 (java) R 8501 8501 7744 0 -1 4202560 1731 0 0 0 29319 3 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284064427656 140284529612646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8530] ppid=8501 vsize=13801768 CPUtime=292.29 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8530/stat : 8530 (java) R 8501 8501 7744 0 -1 4202560 1762 0 0 0 29228 1 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284063373944 140284530676057 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
Current children cumulated CPU time (s) 2400.13
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 8502 sig 9
??? kill 8501 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.302 s]
/proc/loadavg: 14.11 13.47 8.23 17/299 8676
/proc/meminfo: memFree=28891916/32770624 swapFree=5880/237188
[pid=8501] ppid=8498 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8501/stat : 8501 (xcsp3-exec) S 8498 8501 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3540476 9740288 345 33554432000 4194304 5098028 140735919046272 140735919044376 140052226736764 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 16539648 140735919047823 140735919048032 140735919048032 140735919050731 0
/proc/8501/statm: 2378 345 289 221 0 87 0
[pid=8502] ppid=8501 vsize=13801768 CPUtime=2400.13 cores=1,3,5,7,9,11,13,15
/proc/8502/stat : 8502 (java) S 8501 8501 7744 0 -1 1077944320 132912 0 0 0 239285 728 0 0 20 0 28 0 3540477 14133010432 698599 33554432000 4194304 4196468 140721196231184 140721196213728 140284894711543 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
/proc/8502/statm: 3450442 698599 3301 1 0 3437675 0
[pid=8502/tid=8503] ppid=8501 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8503/stat : 8503 (java) S 8501 8501 7744 0 -1 1077944384 8180 0 0 0 163 6 0 0 20 0 28 0 3540477 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284898952320 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8505] ppid=8501 vsize=13801768 CPUtime=4.37 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8505/stat : 8505 (java) S 8501 8501 7744 0 -1 1077944384 2913 0 0 0 356 81 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284847331728 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8506] ppid=8501 vsize=13801768 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8506/stat : 8506 (java) S 8501 8501 7744 0 -1 1077944384 2236 0 0 0 363 82 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284846278928 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8507] ppid=8501 vsize=13801768 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8507/stat : 8507 (java) S 8501 8501 7744 0 -1 1077944384 2473 0 0 0 353 90 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284845226640 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8508] ppid=8501 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8508/stat : 8508 (java) S 8501 8501 7744 0 -1 1077944384 2254 0 0 0 365 75 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284844173840 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8509] ppid=8501 vsize=13801768 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8509/stat : 8509 (java) S 8501 8501 7744 0 -1 1077944384 1333 0 0 0 356 84 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284843121552 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8510] ppid=8501 vsize=13801768 CPUtime=4.43 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8510/stat : 8510 (java) S 8501 8501 7744 0 -1 1077944384 1516 0 0 0 360 83 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284842068752 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8511] ppid=8501 vsize=13801768 CPUtime=4.42 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8511/stat : 8511 (java) S 8501 8501 7744 0 -1 1077944384 2043 0 0 0 361 81 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284841016464 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8512] ppid=8501 vsize=13801768 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8512/stat : 8512 (java) S 8501 8501 7744 0 -1 1077944384 2039 0 0 0 366 83 0 0 20 0 28 0 3540478 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284486155280 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8513] ppid=8501 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8513/stat : 8513 (java) S 8501 8501 7744 0 -1 1077944384 7608 0 0 0 94 12 0 0 20 0 28 0 3540481 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284088232048 140284894722690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8514] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8514/stat : 8514 (java) S 8501 8501 7744 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 3540482 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284087178080 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8515] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8515/stat : 8515 (java) S 8501 8501 7744 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3540482 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284086125696 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8516] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8516/stat : 8516 (java) S 8501 8501 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3540486 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284085074000 140284894730139 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8517] ppid=8501 vsize=13801768 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8517/stat : 8517 (java) S 8501 8501 7744 0 -1 1077944384 19299 0 0 0 611 3 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284084021872 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8518] ppid=8501 vsize=13801768 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8518/stat : 8518 (java) S 8501 8501 7744 0 -1 1077944384 20626 0 0 0 652 3 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284082969072 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8519] ppid=8501 vsize=13801768 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8519/stat : 8519 (java) S 8501 8501 7744 0 -1 1077944384 22100 0 0 0 588 4 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284081916784 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8520] ppid=8501 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8520/stat : 8520 (java) S 8501 8501 7744 0 -1 1077944384 14076 0 0 0 144 4 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284080863984 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8521] ppid=8501 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8521/stat : 8521 (java) S 8501 8501 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284079810912 140284894721749 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8522] ppid=8501 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8522/stat : 8522 (java) S 8501 8501 7744 0 -1 1077944384 1639 0 0 0 9 8 0 0 20 0 28 0 3540487 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284078758192 140284894722690 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 7 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8523] ppid=8501 vsize=13801768 CPUtime=293.69 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8523/stat : 8523 (java) R 8501 8501 7744 0 -1 4202560 2802 0 0 0 29367 2 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284070742376 140284523126275 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8524] ppid=8501 vsize=13801768 CPUtime=292.41 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8524/stat : 8524 (java) R 8501 8501 7744 0 -1 4202560 1951 0 0 0 29238 3 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284069690712 140284527996896 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8525] ppid=8501 vsize=13801768 CPUtime=292.73 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8525/stat : 8525 (java) R 8501 8501 7744 0 -1 4202560 4009 0 0 0 29270 3 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284068638560 140284532058335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8526] ppid=8501 vsize=13801768 CPUtime=293.52 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8526/stat : 8526 (java) R 8501 8501 7744 0 -1 4202560 4206 0 0 0 29350 2 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284067586056 140284522708381 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8527] ppid=8501 vsize=13801768 CPUtime=293.6 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8527/stat : 8527 (java) R 8501 8501 7744 0 -1 4202560 2083 0 0 0 29359 1 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284066534200 140284529579086 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8528] ppid=8501 vsize=13801768 CPUtime=290.02 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8528/stat : 8528 (java) R 8501 8501 7744 0 -1 4202560 2664 0 0 0 29000 2 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284065480648 140284530674560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8529] ppid=8501 vsize=13801768 CPUtime=293.22 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8529/stat : 8529 (java) R 8501 8501 7744 0 -1 4202560 1731 0 0 0 29319 3 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284064427656 140284529612646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
[pid=8502/tid=8530] ppid=8501 vsize=13801768 CPUtime=292.29 cores=1,3,5,7,9,11,13,15
/proc/8502/task/8530/stat : 8530 (java) R 8501 8501 7744 0 -1 4202560 1762 0 0 0 29228 1 0 0 20 0 28 0 3540663 14133010432 698599 33554432000 4194304 4196468 140721196231184 140284063373944 140284530676057 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22401024 140721196238012 140721196238188 140721196238188 140721196240847 0
Current children cumulated CPU time (s) 2400.13
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 8501 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2819
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002819
# while last known CPU time is 2400.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.312
CPU time (s): 2400.13
CPU user time (s): 2392.85
CPU system time (s): 7.28
CPU usage (%): 791.307
Max. virtual memory (cumulated for all children) (KiB): 13813272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002819
system time used= 0
maximum resident set size= 1384
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81589 second user time and 4.14741 second system time
The end