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-4245638-1500686043/watcher-4245638-1500686043 -o /tmp/evaluation-result-4245638-1500686043/solver-4245638-1500686043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1593177845 HOME/instance-4245638-1500686043.xml
pid=24740
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: 10.13 10.72 11.68 11/273 24743
/proc/meminfo: memFree=22847396/32770624 swapFree=5892/113332
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[startup+0.100106 s]
/proc/loadavg: 10.13 10.72 11.68 11/273 24743
/proc/meminfo: memFree=22847396/32770624 swapFree=5892/113332
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200355 s]
/proc/loadavg: 10.13 10.72 11.68 11/273 24743
/proc/meminfo: memFree=22847396/32770624 swapFree=5892/113332
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300314 s]
/proc/loadavg: 10.13 10.72 11.68 11/273 24743
/proc/meminfo: memFree=22847396/32770624 swapFree=5892/113332
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70028 s]
/proc/loadavg: 10.13 10.72 11.68 11/273 24743
/proc/meminfo: memFree=22847396/32770624 swapFree=5892/113332
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50153 s]
/proc/loadavg: 10.13 10.72 11.68 10/294 24764
/proc/meminfo: memFree=22629896/32770624 swapFree=5892/113448
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[pid=24744] ppid=24743 vsize=13269256 CPUtime=3.71 cores=1,3,5,7,9,11,13,15
/proc/24744/stat : 24744 (java) S 24743 24743 15667 0 -1 1077944320 13802 0 0 0 324 47 0 0 20 0 20 0 3873936 13587718144 92479 33554432000 4194304 4196468 140733854744160 140733854726704 140693559582455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
/proc/24744/statm: 3317314 92479 3220 1 0 3304547 0
[pid=24744/tid=24745] ppid=24743 vsize=13269256 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24745/stat : 24745 (java) R 24743 24743 15667 0 -1 4202560 6251 0 0 0 130 8 0 0 20 0 20 0 3873937 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693563819656 140693149527006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24747] ppid=24743 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24747/stat : 24747 (java) S 24743 24743 15667 0 -1 1077944384 41 0 0 0 3 4 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693478063248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24748] ppid=24743 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24748/stat : 24748 (java) S 24743 24743 15667 0 -1 1077944384 31 0 0 0 3 4 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693477010448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24749] ppid=24743 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24749/stat : 24749 (java) S 24743 24743 15667 0 -1 1077944384 40 0 0 0 3 4 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693475957648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24750] ppid=24743 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24750/stat : 24750 (java) S 24743 24743 15667 0 -1 1077944384 40 0 0 0 3 4 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693474904848 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24751] ppid=24743 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24751/stat : 24751 (java) S 24743 24743 15667 0 -1 1077944384 35 0 0 0 3 4 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693473852048 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24752] ppid=24743 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24752/stat : 24752 (java) S 24743 24743 15667 0 -1 1077944384 38 0 0 0 3 5 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693472799248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24753] ppid=24743 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24753/stat : 24753 (java) S 24743 24743 15667 0 -1 1077944384 39 0 0 0 4 4 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693471746448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24754] ppid=24743 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24754/stat : 24754 (java) S 24743 24743 15667 0 -1 1077944384 38 0 0 0 3 3 0 0 20 0 20 0 3873938 13587718144 92479 33554432000 4194304 4196468 140733854744160 140693470693648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24755] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24755/stat : 24755 (java) S 24743 24743 15667 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3873940 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692887583600 140693559593602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24756] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24756/stat : 24756 (java) S 24743 24743 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692886529632 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24757] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24757/stat : 24757 (java) S 24743 24743 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692885476736 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24758] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24758/stat : 24758 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692884425040 140693559601051 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24759] ppid=24743 vsize=13269256 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24759/stat : 24759 (java) S 24743 24743 15667 0 -1 1077944384 1499 0 0 0 37 0 0 0 20 0 20 0 3873945 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692883372400 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24760] ppid=24743 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24760/stat : 24760 (java) S 24743 24743 15667 0 -1 1077944384 1280 0 0 0 40 0 0 0 20 0 20 0 3873945 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692882319600 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24761] ppid=24743 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24761/stat : 24761 (java) S 24743 24743 15667 0 -1 1077944384 1266 0 0 0 42 0 0 0 20 0 20 0 3873945 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692881266800 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24762] ppid=24743 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24762/stat : 24762 (java) S 24743 24743 15667 0 -1 1077944384 1699 0 0 0 44 0 0 0 20 0 20 0 3873945 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692880214000 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24763] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24763/stat : 24763 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692879162464 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24764] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24764/stat : 24764 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873946 13587718144 92479 33554432000 4194304 4196468 140733854744160 140692878109744 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 13278768
[startup+3.10099 s]
/proc/loadavg: 10.13 10.72 11.68 10/294 24764
/proc/meminfo: memFree=22447464/32770624 swapFree=5892/113436
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[pid=24744] ppid=24743 vsize=13269256 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/24744/stat : 24744 (java) S 24743 24743 15667 0 -1 1077944320 16018 0 0 0 566 91 0 0 20 0 20 0 3873936 13587718144 166791 33554432000 4194304 4196468 140733854744160 140733854726704 140693559582455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
/proc/24744/statm: 3317314 166791 3239 1 0 3304547 0
[pid=24744/tid=24745] ppid=24743 vsize=13269256 CPUtime=2.87 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24745/stat : 24745 (java) R 24743 24743 15667 0 -1 4202560 6747 0 0 0 275 12 0 0 20 0 20 0 3873937 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693563816728 140693149065731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24747] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24747/stat : 24747 (java) S 24743 24743 15667 0 -1 1077944384 94 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693478063248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24748] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24748/stat : 24748 (java) S 24743 24743 15667 0 -1 1077944384 75 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693477010448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24749] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24749/stat : 24749 (java) S 24743 24743 15667 0 -1 1077944384 89 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693475957648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24750] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24750/stat : 24750 (java) S 24743 24743 15667 0 -1 1077944384 89 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693474904848 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24751] ppid=24743 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24751/stat : 24751 (java) S 24743 24743 15667 0 -1 1077944384 84 0 0 0 8 8 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693473852048 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24752] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24752/stat : 24752 (java) S 24743 24743 15667 0 -1 1077944384 115 0 0 0 7 10 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693472799248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24753] ppid=24743 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24753/stat : 24753 (java) S 24743 24743 15667 0 -1 1077944384 76 0 0 0 9 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693471746448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24754] ppid=24743 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24754/stat : 24754 (java) S 24743 24743 15667 0 -1 1077944384 85 0 0 0 8 8 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693470693648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24755] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24755/stat : 24755 (java) S 24743 24743 15667 0 -1 1077944384 493 0 0 0 0 0 0 0 20 0 20 0 3873940 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692887583600 140693559593602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24756] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24756/stat : 24756 (java) S 24743 24743 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692886529632 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24757] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24757/stat : 24757 (java) S 24743 24743 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692885476736 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24758] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24758/stat : 24758 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692884425040 140693559601051 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24759] ppid=24743 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24759/stat : 24759 (java) S 24743 24743 15667 0 -1 1077944384 1532 0 0 0 44 0 0 0 20 0 20 0 3873945 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692883372400 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24760] ppid=24743 vsize=13269256 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24760/stat : 24760 (java) S 24743 24743 15667 0 -1 1077944384 1319 0 0 0 52 0 0 0 20 0 20 0 3873945 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692882319600 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24761] ppid=24743 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24761/stat : 24761 (java) S 24743 24743 15667 0 -1 1077944384 1934 0 0 0 67 0 0 0 20 0 20 0 3873945 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692881266800 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24762] ppid=24743 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24762/stat : 24762 (java) S 24743 24743 15667 0 -1 1077944384 1988 0 0 0 57 1 0 0 20 0 20 0 3873945 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692880214000 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24763] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24763/stat : 24763 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692879162464 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24764] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24764/stat : 24764 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873946 13587718144 166791 33554432000 4194304 4196468 140733854744160 140692878109744 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 9 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 13278768
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24744 sig 9
??? kill 24743 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20124 s]
/proc/loadavg: 10.13 10.72 11.68 10/294 24764
/proc/meminfo: memFree=22447464/32770624 swapFree=5892/113436
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[pid=24744] ppid=24743 vsize=13269256 CPUtime=6.69 cores=1,3,5,7,9,11,13,15
/proc/24744/stat : 24744 (java) S 24743 24743 15667 0 -1 1077944320 16028 0 0 0 578 91 0 0 20 0 20 0 3873936 13587718144 166791 33554432000 4194304 4196468 140733854744160 140733854726704 140693559582455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
/proc/24744/statm: 3317314 166791 3239 1 0 3304547 0
[pid=24744/tid=24745] ppid=24743 vsize=13269256 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24745/stat : 24745 (java) R 24743 24743 15667 0 -1 4202560 6750 0 0 0 285 12 0 0 20 0 20 0 3873937 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693563816680 140693541989462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24747] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24747/stat : 24747 (java) S 24743 24743 15667 0 -1 1077944384 94 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693478063248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24748] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24748/stat : 24748 (java) S 24743 24743 15667 0 -1 1077944384 75 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693477010448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24749] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24749/stat : 24749 (java) S 24743 24743 15667 0 -1 1077944384 89 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693475957648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24750] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24750/stat : 24750 (java) S 24743 24743 15667 0 -1 1077944384 89 0 0 0 8 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693474904848 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24751] ppid=24743 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24751/stat : 24751 (java) S 24743 24743 15667 0 -1 1077944384 84 0 0 0 8 8 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693473852048 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24752] ppid=24743 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24752/stat : 24752 (java) S 24743 24743 15667 0 -1 1077944384 115 0 0 0 7 10 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693472799248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24753] ppid=24743 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24753/stat : 24753 (java) S 24743 24743 15667 0 -1 1077944384 76 0 0 0 9 9 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693471746448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24754] ppid=24743 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24754/stat : 24754 (java) S 24743 24743 15667 0 -1 1077944384 85 0 0 0 8 8 0 0 20 0 20 0 3873938 13587718144 166791 33554432000 4194304 4196468 140733854744160 140693470693648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
################
# More data... #
################
/proc/24744/task/24757/stat : 24757 (java) S 24743 24743 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692885476736 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24758] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24758/stat : 24758 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692884425040 140693559601051 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24759] ppid=24743 vsize=13269256 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24759/stat : 24759 (java) S 24743 24743 15667 0 -1 1077944384 1551 0 0 0 48 0 0 0 20 0 20 0 3873945 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692883372400 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24760] ppid=24743 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24760/stat : 24760 (java) S 24743 24743 15667 0 -1 1077944384 1324 0 0 0 53 1 0 0 20 0 20 0 3873945 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692882319600 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24761] ppid=24743 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24761/stat : 24761 (java) S 24743 24743 15667 0 -1 1077944384 1944 0 0 0 69 0 0 0 20 0 20 0 3873945 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692881266800 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24762] ppid=24743 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24762/stat : 24762 (java) S 24743 24743 15667 0 -1 1077944384 2029 0 0 0 61 1 0 0 20 0 20 0 3873945 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692880214000 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24763] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24763/stat : 24763 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692879162464 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24764] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24764/stat : 24764 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873946 13587718144 180807 33554432000 4194304 4196468 140733854744160 140692878109744 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 9 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 13278768
[startup+4.80097 s]
/proc/loadavg: 10.04 10.69 11.66 11/294 24764
/proc/meminfo: memFree=22008272/32770624 swapFree=5892/113448
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[pid=24744] ppid=24743 vsize=13269256 CPUtime=9.04 cores=1,3,5,7,9,11,13,15
/proc/24744/stat : 24744 (java) S 24743 24743 15667 0 -1 1077944320 16916 0 0 0 775 129 0 0 20 0 20 0 3873936 13587718144 287453 33554432000 4194304 4196468 140733854744160 140733854726704 140693559582455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
/proc/24744/statm: 3317314 287453 3240 1 0 3304547 0
[pid=24744/tid=24745] ppid=24743 vsize=13269256 CPUtime=4.49 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24745/stat : 24745 (java) R 24743 24743 15667 0 -1 4202560 7144 0 0 0 430 19 0 0 20 0 20 0 3873937 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693563817912 140693150223242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24747] ppid=24743 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24747/stat : 24747 (java) S 24743 24743 15667 0 -1 1077944384 123 0 0 0 12 13 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693478063248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24748] ppid=24743 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24748/stat : 24748 (java) S 24743 24743 15667 0 -1 1077944384 100 0 0 0 12 12 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693477010448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24749] ppid=24743 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24749/stat : 24749 (java) S 24743 24743 15667 0 -1 1077944384 121 0 0 0 12 13 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693475957648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24750] ppid=24743 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24750/stat : 24750 (java) S 24743 24743 15667 0 -1 1077944384 108 0 0 0 10 12 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693474904848 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24751] ppid=24743 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24751/stat : 24751 (java) S 24743 24743 15667 0 -1 1077944384 136 0 0 0 10 13 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693473852048 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24752] ppid=24743 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24752/stat : 24752 (java) S 24743 24743 15667 0 -1 1077944384 141 0 0 0 10 14 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693472799248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24753] ppid=24743 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24753/stat : 24753 (java) S 24743 24743 15667 0 -1 1077944384 113 0 0 0 12 13 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693471746448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24754] ppid=24743 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24754/stat : 24754 (java) S 24743 24743 15667 0 -1 1077944384 108 0 0 0 11 12 0 0 20 0 20 0 3873938 13587718144 287453 33554432000 4194304 4196468 140733854744160 140693470693648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24755] ppid=24743 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24755/stat : 24755 (java) S 24743 24743 15667 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 20 0 3873940 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692887583600 140693559593602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24756] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24756/stat : 24756 (java) S 24743 24743 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692886529632 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24757] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24757/stat : 24757 (java) S 24743 24743 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3873941 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692885476736 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24758] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24758/stat : 24758 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692884425040 140693559601051 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24759] ppid=24743 vsize=13269256 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24759/stat : 24759 (java) S 24743 24743 15667 0 -1 1077944384 1561 0 0 0 53 0 0 0 20 0 20 0 3873945 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692883372400 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24760] ppid=24743 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24760/stat : 24760 (java) S 24743 24743 15667 0 -1 1077944384 1329 0 0 0 56 1 0 0 20 0 20 0 3873945 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692882319600 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24761] ppid=24743 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24761/stat : 24761 (java) R 24743 24743 15667 0 -1 4202560 2100 0 0 0 78 0 0 0 20 0 20 0 3873945 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692881259904 140693544507287 0 4 0 16800975 0 0 0 -1 9 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24762] ppid=24743 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24762/stat : 24762 (java) S 24743 24743 15667 0 -1 1077944384 2032 0 0 0 62 1 0 0 20 0 20 0 3873945 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692880214000 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24763] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24763/stat : 24763 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873945 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692879162464 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24764] ppid=24743 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24764/stat : 24764 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3873946 13587718144 287453 33554432000 4194304 4196468 140733854744160 140692878109744 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 13278768
[startup+5.00093 s]
/proc/loadavg: 10.04 10.69 11.66 11/294 24764
/proc/meminfo: memFree=22008272/32770624 swapFree=5892/113448
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[pid=24744] ppid=24743 vsize=13335820 CPUtime=9.89 cores=1,3,5,7,9,11,13,15
/proc/24744/stat : 24744 (java) S 24743 24743 15667 0 -1 1077944320 17310 0 0 0 818 171 0 0 20 0 21 0 3873936 13655879680 314696 33554432000 4194304 4196468 140733854744160 140733854726704 140693559582455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
/proc/24744/statm: 3333955 314696 3240 1 0 3321188 0
[pid=24744/tid=24745] ppid=24743 vsize=13335820 CPUtime=4.61 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24745/stat : 24745 (java) S 24743 24743 15667 0 -1 1077944384 7231 0 0 0 441 20 0 0 20 0 21 0 3873937 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693563823088 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24747] ppid=24743 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24747/stat : 24747 (java) R 24743 24743 15667 0 -1 4202560 156 0 0 0 15 18 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693478063448 140693544610338 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24748] ppid=24743 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24748/stat : 24748 (java) R 24743 24743 15667 0 -1 4202560 134 0 0 0 16 17 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693477010648 140693544610311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24749] ppid=24743 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24749/stat : 24749 (java) R 24743 24743 15667 0 -1 4202560 154 0 0 0 15 18 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693475955624 140693544610320 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24750] ppid=24743 vsize=13335820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24750/stat : 24750 (java) R 24743 24743 15667 0 -1 4202560 142 0 0 0 14 18 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693474905048 140693544604576 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24751] ppid=24743 vsize=13335820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24751/stat : 24751 (java) R 24743 24743 15667 0 -1 4202560 170 0 0 0 14 18 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693473849744 140693544610329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24752] ppid=24743 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24752/stat : 24752 (java) R 24743 24743 15667 0 -1 4202560 174 0 0 0 14 19 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693472799448 140693552679156 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24753] ppid=24743 vsize=13335820 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24753/stat : 24753 (java) R 24743 24743 15667 0 -1 4202560 151 0 0 0 16 18 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693471746648 140693544610338 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24754] ppid=24743 vsize=13335820 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24754/stat : 24754 (java) R 24743 24743 15667 0 -1 4202560 142 0 0 0 15 17 0 0 20 0 21 0 3873938 13655879680 314696 33554432000 4194304 4196468 140733854744160 140693470693848 140693544610311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24755] ppid=24743 vsize=13335820 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24755/stat : 24755 (java) S 24743 24743 15667 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 21 0 3873940 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692887582112 140693559592661 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24756] ppid=24743 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24756/stat : 24756 (java) S 24743 24743 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 3873941 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692886529632 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24757] ppid=24743 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24757/stat : 24757 (java) S 24743 24743 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3873941 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692885476736 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24758] ppid=24743 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24758/stat : 24758 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3873945 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692884425040 140693559601051 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24759] ppid=24743 vsize=13335820 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24759/stat : 24759 (java) S 24743 24743 15667 0 -1 1077944384 1561 0 0 0 53 0 0 0 20 0 21 0 3873945 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692883372400 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24760] ppid=24743 vsize=13335820 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24760/stat : 24760 (java) S 24743 24743 15667 0 -1 1077944384 1331 0 0 0 58 1 0 0 20 0 21 0 3873945 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692882319600 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24761] ppid=24743 vsize=13335820 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24761/stat : 24761 (java) S 24743 24743 15667 0 -1 1077944384 2108 0 0 0 78 0 0 0 20 0 21 0 3873945 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692881266800 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24762] ppid=24743 vsize=13335820 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24762/stat : 24762 (java) S 24743 24743 15667 0 -1 1077944384 2035 0 0 0 62 1 0 0 20 0 21 0 3873945 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692880209488 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24763] ppid=24743 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24763/stat : 24763 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3873945 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692879162464 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24764] ppid=24743 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24764/stat : 24764 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3873946 13655879680 314696 33554432000 4194304 4196468 140733854744160 140692878109744 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 13345332
[startup+5.10222 s]
/proc/loadavg: 10.04 10.69 11.66 11/294 24764
/proc/meminfo: memFree=22008272/32770624 swapFree=5892/113448
[pid=24743] ppid=24740 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3873936 9740288 346 33554432000 4194304 5098028 140721724933424 140721724931528 139947418550908 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 39329792 140721724941454 140721724941664 140721724941664 140721724944363 0
/proc/24743/statm: 2378 346 289 221 0 87 0
[pid=24744] ppid=24743 vsize=13801768 CPUtime=10.62 cores=1,3,5,7,9,11,13,15
/proc/24744/stat : 24744 (java) S 24743 24743 15667 0 -1 1077944320 18283 0 0 0 874 188 0 0 20 0 28 0 3873936 14133010432 322449 33554432000 4194304 4196468 140733854744160 140733854726704 140693559582455 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
/proc/24744/statm: 3450442 322449 3240 1 0 3437675 0
[pid=24744/tid=24745] ppid=24743 vsize=13801768 CPUtime=4.61 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24745/stat : 24745 (java) S 24743 24743 15667 0 -1 1077944384 7231 0 0 0 441 20 0 0 20 0 28 0 3873937 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693563823232 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24747] ppid=24743 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24747/stat : 24747 (java) S 24743 24743 15667 0 -1 1077944384 169 0 0 0 18 20 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693478063248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24748] ppid=24743 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24748/stat : 24748 (java) S 24743 24743 15667 0 -1 1077944384 147 0 0 0 18 19 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693477010448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24749] ppid=24743 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24749/stat : 24749 (java) S 24743 24743 15667 0 -1 1077944384 168 0 0 0 18 20 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693475957648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24750] ppid=24743 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24750/stat : 24750 (java) S 24743 24743 15667 0 -1 1077944384 152 0 0 0 15 19 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693474904848 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24751] ppid=24743 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24751/stat : 24751 (java) S 24743 24743 15667 0 -1 1077944384 184 0 0 0 16 20 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693473852048 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24752] ppid=24743 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24752/stat : 24752 (java) S 24743 24743 15667 0 -1 1077944384 188 0 0 0 16 21 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693472799248 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24753] ppid=24743 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24753/stat : 24753 (java) S 24743 24743 15667 0 -1 1077944384 163 0 0 0 18 19 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693471746448 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24754] ppid=24743 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24754/stat : 24754 (java) S 24743 24743 15667 0 -1 1077944384 155 0 0 0 17 19 0 0 20 0 28 0 3873938 14133010432 322449 33554432000 4194304 4196468 140733854744160 140693470693648 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24755] ppid=24743 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24755/stat : 24755 (java) S 24743 24743 15667 0 -1 1077944384 1025 0 0 0 1 0 0 0 20 0 28 0 3873940 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692887583600 140693559593602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24756] ppid=24743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24756/stat : 24756 (java) S 24743 24743 15667 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3873941 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692886529632 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24757] ppid=24743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24757/stat : 24757 (java) S 24743 24743 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3873941 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692885476736 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24758] ppid=24743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24758/stat : 24758 (java) S 24743 24743 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3873945 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692884425040 140693559601051 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24759] ppid=24743 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24759/stat : 24759 (java) R 24743 24743 15667 0 -1 1077944384 1569 0 0 0 54 0 0 0 20 0 28 0 3873945 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692883372400 140693559593602 0 4 0 16800975 0 0 0 -1 11 0 0 4 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24760] ppid=24743 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24760/stat : 24760 (java) R 24743 24743 15667 0 -1 4202560 1336 0 0 0 60 1 0 0 20 0 28 0 3873945 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692882308240 140693538771904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24761] ppid=24743 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24761/stat : 24761 (java) S 24743 24743 15667 0 -1 1077944384 2115 0 0 0 81 0 0 0 20 0 28 0 3873945 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692881266800 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24762] ppid=24743 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24762/stat : 24762 (java) R 24743 24743 15667 0 -1 4202560 2051 0 0 0 64 1 0 0 20 0 28 0 3873945 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692880213184 140693559603802 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24763] ppid=24743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24763/stat : 24763 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3873945 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692879162464 140693559592661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
[pid=24744/tid=24764] ppid=24743 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24744/task/24764/stat : 24764 (java) S 24743 24743 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3873946 14133010432 322449 33554432000 4194304 4196468 140733854744160 140692878109744 140693559593602 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 9 0 0 6293624 6294260 30683136 140733854745788 140733854745964 140733854745964 140733854748623 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 5.17295
CPU time (s): 10.9643
CPU user time (s): 9.07187
CPU system time (s): 1.89241
CPU usage (%): 211.954
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.07187
system time used= 1.89241
maximum resident set size= 1291316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4278
involuntary context switches= 918
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043526 second user time and 0.054881 second system time
The end