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-4249658-1500695634/watcher-4249658-1500695634 -o /tmp/evaluation-result-4249658-1500695634/solver-4249658-1500695634 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1996032193 HOME/instance-4249658-1500695634.xml
pid=16757
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.87 14.42 14.18 10/272 16760
/proc/meminfo: memFree=31171112/32770624 swapFree=5656/335160
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
[startup+0.100102 s]
/proc/loadavg: 15.87 14.42 14.18 10/272 16760
/proc/meminfo: memFree=31171112/32770624 swapFree=5656/335160
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200335 s]
/proc/loadavg: 15.87 14.42 14.18 10/272 16760
/proc/meminfo: memFree=31171112/32770624 swapFree=5656/335160
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300291 s]
/proc/loadavg: 15.87 14.42 14.18 10/272 16760
/proc/meminfo: memFree=31171112/32770624 swapFree=5656/335160
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700255 s]
/proc/loadavg: 15.87 14.42 14.18 10/272 16760
/proc/meminfo: memFree=31171112/32770624 swapFree=5656/335160
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.508 s]
/proc/loadavg: 15.48 14.36 14.16 10/293 16781
/proc/meminfo: memFree=30991508/32770624 swapFree=5656/335216
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
[pid=16761] ppid=16760 vsize=13269256 CPUtime=3.97 cores=1,3,5,7,9,11,13,15
/proc/16761/stat : 16761 (java) S 16760 16760 7102 0 -1 1077944320 17248 0 0 0 375 22 0 0 20 0 20 0 4830861 13587718144 57716 33554432000 4194304 4196468 140737383929488 140737383912032 140617927450359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
/proc/16761/statm: 3317314 57716 3217 1 0 3304547 0
[pid=16761/tid=16762] ppid=16760 vsize=13269256 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16762/stat : 16762 (java) S 16760 16760 7102 0 -1 1077944384 6441 0 0 0 138 5 0 0 20 0 20 0 4830861 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617931688352 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16764] ppid=16760 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16764/stat : 16764 (java) R 16760 16760 7102 0 -1 4202560 65 0 0 0 1 2 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617845931144 140617920078567 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16765] ppid=16760 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16765/stat : 16765 (java) R 16760 16760 7102 0 -1 4202560 52 0 0 0 2 1 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617844878680 140617920078567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16766] ppid=16760 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16766/stat : 16766 (java) R 16760 16760 7102 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617843825624 140617920078567 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16767] ppid=16760 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16767/stat : 16767 (java) R 16760 16760 7102 0 -1 4202560 51 0 0 0 1 2 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617842773080 140617920078567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16768] ppid=16760 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16768/stat : 16768 (java) R 16760 16760 7102 0 -1 4202560 196 0 0 0 1 1 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617841719712 140617912477778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16769] ppid=16760 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16769/stat : 16769 (java) R 16760 16760 7102 0 -1 4202560 34 0 0 0 1 1 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617840667480 140617920078567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16770] ppid=16760 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16770/stat : 16770 (java) R 16760 16760 7102 0 -1 4202560 38 0 0 0 1 1 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617839614424 140617920078567 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16771] ppid=16760 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16771/stat : 16771 (java) R 16760 16760 7102 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 20 0 4830863 13587718144 57716 33554432000 4194304 4196468 140737383929488 140617838561880 140617920078567 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16772] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16772/stat : 16772 (java) S 16760 16760 7102 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 20 0 4830865 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616658724128 140617927460565 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16773] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16773/stat : 16773 (java) S 16760 16760 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4830865 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616657671840 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16774] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16774/stat : 16774 (java) S 16760 16760 7102 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4830866 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616656618736 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16775] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16775/stat : 16775 (java) S 16760 16760 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4830870 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616655567312 140617927468955 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16776] ppid=16760 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16776/stat : 16776 (java) S 16760 16760 7102 0 -1 1077944384 2476 0 0 0 62 0 0 0 20 0 20 0 4830870 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616654499408 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16777] ppid=16760 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16777/stat : 16777 (java) S 16760 16760 7102 0 -1 1077944384 2636 0 0 0 60 0 0 0 20 0 20 0 4830870 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616653461872 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16778] ppid=16760 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16778/stat : 16778 (java) R 16760 16760 7102 0 -1 4202560 2028 0 0 0 65 0 0 0 20 0 20 0 4830870 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616652389832 140617910996665 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16779] ppid=16760 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16779/stat : 16779 (java) S 16760 16760 7102 0 -1 1077944384 1747 0 0 0 34 0 0 0 20 0 20 0 4830870 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616651356272 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16780] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16780/stat : 16780 (java) S 16760 16760 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4830870 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616650304480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16781] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16781/stat : 16781 (java) S 16760 16760 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4830871 13587718144 57716 33554432000 4194304 4196468 140737383929488 140616649252016 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 13278768
[startup+3.10098 s]
/proc/loadavg: 15.48 14.36 14.16 12/293 16781
/proc/meminfo: memFree=30886960/32770624 swapFree=5656/335216
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
[pid=16761] ppid=16760 vsize=13269256 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/16761/stat : 16761 (java) S 16760 16760 7102 0 -1 1077944320 24558 0 0 0 732 33 0 0 20 0 20 0 4830861 13587718144 103419 33554432000 4194304 4196468 140737383929488 140737383912032 140617927450359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
/proc/16761/statm: 3317314 103419 3236 1 0 3304547 0
[pid=16761/tid=16762] ppid=16760 vsize=13269256 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16762/stat : 16762 (java) R 16760 16760 7102 0 -1 4202560 7856 0 0 0 290 8 0 0 20 0 20 0 4830861 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617931687688 140617518625682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16764] ppid=16760 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16764/stat : 16764 (java) S 16760 16760 7102 0 -1 1077944384 74 0 0 0 3 3 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617845931024 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16765] ppid=16760 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16765/stat : 16765 (java) S 16760 16760 7102 0 -1 1077944384 73 0 0 0 4 2 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617844878480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16766] ppid=16760 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16766/stat : 16766 (java) S 16760 16760 7102 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617843825424 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16767] ppid=16760 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16767/stat : 16767 (java) S 16760 16760 7102 0 -1 1077944384 90 0 0 0 3 3 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617842772880 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16768] ppid=16760 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16768/stat : 16768 (java) S 16760 16760 7102 0 -1 1077944384 211 0 0 0 4 2 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617841719824 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16769] ppid=16760 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16769/stat : 16769 (java) S 16760 16760 7102 0 -1 1077944384 235 0 0 0 3 2 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617840667280 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16770] ppid=16760 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16770/stat : 16770 (java) S 16760 16760 7102 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617839614224 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16771] ppid=16760 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16771/stat : 16771 (java) S 16760 16760 7102 0 -1 1077944384 32 0 0 0 3 2 0 0 20 0 20 0 4830863 13587718144 103419 33554432000 4194304 4196468 140737383929488 140617838561680 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16772] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16772/stat : 16772 (java) S 16760 16760 7102 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 4830865 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616658725616 140617927461506 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16773] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16773/stat : 16773 (java) S 16760 16760 7102 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4830865 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616657671904 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16774] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16774/stat : 16774 (java) S 16760 16760 7102 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4830866 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616656618752 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16775] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16775/stat : 16775 (java) S 16760 16760 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4830870 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616655567312 140617927468955 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16776] ppid=16760 vsize=13269256 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16776/stat : 16776 (java) S 16760 16760 7102 0 -1 1077944384 3628 0 0 0 106 0 0 0 20 0 20 0 4830870 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616654514416 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16777] ppid=16760 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16777/stat : 16777 (java) S 16760 16760 7102 0 -1 1077944384 4715 0 0 0 143 1 0 0 20 0 20 0 4830870 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616653461872 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16778] ppid=16760 vsize=13269256 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16778/stat : 16778 (java) S 16760 16760 7102 0 -1 1077944384 3436 0 0 0 119 1 0 0 20 0 20 0 4830870 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616652408816 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16779] ppid=16760 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16779/stat : 16779 (java) S 16760 16760 7102 0 -1 1077944384 2293 0 0 0 42 0 0 0 20 0 20 0 4830870 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616651356272 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16780] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16780/stat : 16780 (java) S 16760 16760 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4830870 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616650304480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16781] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16781/stat : 16781 (java) S 16760 16760 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4830871 13587718144 103419 33554432000 4194304 4196468 140737383929488 140616649252016 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 13278768
[startup+6.30091 s]
/proc/loadavg: 15.48 14.36 14.16 10/293 16781
/proc/meminfo: memFree=30406796/32770624 swapFree=5656/335228
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
[pid=16761] ppid=16760 vsize=13269256 CPUtime=11.91 cores=1,3,5,7,9,11,13,15
/proc/16761/stat : 16761 (java) S 16760 16760 7102 0 -1 1077944320 26327 0 0 0 1089 102 0 0 20 0 20 0 4830861 13587718144 217674 33554432000 4194304 4196468 140737383929488 140737383912032 140617927450359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
/proc/16761/statm: 3317314 217674 3240 1 0 3304547 0
[pid=16761/tid=16762] ppid=16760 vsize=13269256 CPUtime=5.97 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16762/stat : 16762 (java) R 16760 16760 7102 0 -1 4202560 8302 0 0 0 587 10 0 0 20 0 20 0 4830861 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617931689288 140617518015803 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16764] ppid=16760 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16764/stat : 16764 (java) S 16760 16760 7102 0 -1 1077944384 172 0 0 0 8 12 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617845931024 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16765] ppid=16760 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16765/stat : 16765 (java) S 16760 16760 7102 0 -1 1077944384 126 0 0 0 9 9 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617844878480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16766] ppid=16760 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16766/stat : 16766 (java) S 16760 16760 7102 0 -1 1077944384 169 0 0 0 9 11 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617843825424 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16767] ppid=16760 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16767/stat : 16767 (java) S 16760 16760 7102 0 -1 1077944384 194 0 0 0 9 12 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617842772880 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16768] ppid=16760 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16768/stat : 16768 (java) S 16760 16760 7102 0 -1 1077944384 282 0 0 0 12 8 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617841719824 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16769] ppid=16760 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16769/stat : 16769 (java) S 16760 16760 7102 0 -1 1077944384 351 0 0 0 9 10 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617840667280 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16770] ppid=16760 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16770/stat : 16770 (java) S 16760 16760 7102 0 -1 1077944384 110 0 0 0 8 10 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617839614224 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16771] ppid=16760 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16771/stat : 16771 (java) S 16760 16760 7102 0 -1 1077944384 110 0 0 0 8 11 0 0 20 0 20 0 4830863 13587718144 217674 33554432000 4194304 4196468 140737383929488 140617838561680 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16772] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16772/stat : 16772 (java) S 16760 16760 7102 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 20 0 4830865 13587718144 217674 33554432000 4194304 4196468 140737383929488 140616658725616 140617927461506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16773] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16773/stat : 16773 (java) S 16760 16760 7102 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4830865 13587718144 217674 33554432000 4194304 4196468 140737383929488 140616657671904 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16774] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16774/stat : 16774 (java) S 16760 16760 7102 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4830866 13587718144 217674 33554432000 4194304 4196468 140737383929488 140616656618752 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16775] ppid=16760 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16775/stat : 16775 (java) S 16760 16760 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4830870 13587718144 217674 33554432000 4194304 4196468 140737383929488 140616655567312 140617927468955 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
################
# More data... #
################
[pid=16761/tid=16788] ppid=16760 vsize=13801768 CPUtime=210.56 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16788/stat : 16788 (java) R 16760 16760 7102 0 -1 4202560 1983 0 0 0 21054 2 0 0 20 0 28 0 4831630 14133010432 842892 33554432000 4194304 4196468 140737383929488 140616635421160 140617521047650 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16789] ppid=16760 vsize=13801768 CPUtime=213.13 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16789/stat : 16789 (java) R 16760 16760 7102 0 -1 4202560 2315 0 0 0 21311 2 0 0 20 0 28 0 4831631 14133010432 842892 33554432000 4194304 4196468 140737383929488 140616634368152 140617521047305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 13.65 14.68 14.39 10/291 16883
/proc/meminfo: memFree=25574312/32770624 swapFree=5656/334720
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
[pid=16761] ppid=16760 vsize=13801768 CPUtime=2199.89 cores=1,3,5,7,9,11,13,15
/proc/16761/stat : 16761 (java) S 16760 16760 7102 0 -1 1077944320 95663 0 0 0 219654 335 0 0 20 0 28 0 4830861 14133010432 843442 33554432000 4194304 4196468 140737383929488 140737383912032 140617927450359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
/proc/16761/statm: 3450442 843442 3289 1 0 3437675 0
[pid=16761/tid=16762] ppid=16760 vsize=13801768 CPUtime=7.37 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16762/stat : 16762 (java) S 16760 16760 7102 0 -1 1077944384 8664 0 0 0 726 11 0 0 20 0 28 0 4830861 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617931691136 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16764] ppid=16760 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16764/stat : 16764 (java) S 16760 16760 7102 0 -1 1077944384 747 0 0 0 57 35 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617845931024 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16765] ppid=16760 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16765/stat : 16765 (java) S 16760 16760 7102 0 -1 1077944384 2170 0 0 0 55 36 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617844878480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16766] ppid=16760 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16766/stat : 16766 (java) S 16760 16760 7102 0 -1 1077944384 749 0 0 0 46 32 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617843825424 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16767] ppid=16760 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16767/stat : 16767 (java) S 16760 16760 7102 0 -1 1077944384 1762 0 0 0 55 32 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617842772880 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16768] ppid=16760 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16768/stat : 16768 (java) S 16760 16760 7102 0 -1 1077944384 897 0 0 0 55 28 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617841719824 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16769] ppid=16760 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16769/stat : 16769 (java) S 16760 16760 7102 0 -1 1077944384 1080 0 0 0 58 37 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617840667280 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16770] ppid=16760 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16770/stat : 16770 (java) S 16760 16760 7102 0 -1 1077944384 728 0 0 0 58 36 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617839614224 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16771] ppid=16760 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16771/stat : 16771 (java) S 16760 16760 7102 0 -1 1077944384 805 0 0 0 51 34 0 0 20 0 28 0 4830863 14133010432 843442 33554432000 4194304 4196468 140737383929488 140617838561680 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16772] ppid=16760 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16772/stat : 16772 (java) S 16760 16760 7102 0 -1 1077944384 6283 0 0 0 7 6 0 0 20 0 28 0 4830865 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616658725616 140617927461506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16773] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16773/stat : 16773 (java) S 16760 16760 7102 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4830865 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616657671904 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16774] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16774/stat : 16774 (java) S 16760 16760 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4830866 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616656618752 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16775] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16775/stat : 16775 (java) S 16760 16760 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4830870 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616655567312 140617927468955 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16776] ppid=16760 vsize=13801768 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16776/stat : 16776 (java) S 16760 16760 7102 0 -1 1077944384 16224 0 0 0 385 3 0 0 20 0 28 0 4830870 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616654514416 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16777] ppid=16760 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16777/stat : 16777 (java) S 16760 16760 7102 0 -1 1077944384 13194 0 0 0 317 2 0 0 20 0 28 0 4830870 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616653461872 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16778] ppid=16760 vsize=13801768 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16778/stat : 16778 (java) S 16760 16760 7102 0 -1 1077944384 10539 0 0 0 321 2 0 0 20 0 28 0 4830870 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616652408816 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16779] ppid=16760 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16779/stat : 16779 (java) S 16760 16760 7102 0 -1 1077944384 7879 0 0 0 83 1 0 0 20 0 28 0 4830870 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616651356272 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16780] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16780/stat : 16780 (java) S 16760 16760 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4830870 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616650304480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16781] ppid=16760 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16781/stat : 16781 (java) S 16760 16760 7102 0 -1 1077944384 950 0 0 0 6 8 0 0 20 0 28 0 4830871 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616649252016 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16782] ppid=16760 vsize=13801768 CPUtime=271.3 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16782/stat : 16782 (java) R 16760 16760 7102 0 -1 4202560 2321 0 0 0 27128 2 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616641735320 140617521048672 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16783] ppid=16760 vsize=13801768 CPUtime=272.65 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16783/stat : 16783 (java) R 16760 16760 7102 0 -1 4202560 1816 0 0 0 27263 2 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616640684056 140617521051462 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16784] ppid=16760 vsize=13801768 CPUtime=272.07 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16784/stat : 16784 (java) R 16760 16760 7102 0 -1 4202560 4309 0 0 0 27202 5 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616639631144 140617521047411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16785] ppid=16760 vsize=13801768 CPUtime=272.84 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16785/stat : 16785 (java) R 16760 16760 7102 0 -1 4202560 3072 0 0 0 27281 3 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616638578456 140617521048770 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16786] ppid=16760 vsize=13801768 CPUtime=270.4 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16786/stat : 16786 (java) R 16760 16760 7102 0 -1 4202560 2227 0 0 0 27035 5 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616637525400 140617521048752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16787] ppid=16760 vsize=13801768 CPUtime=272.45 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16787/stat : 16787 (java) R 16760 16760 7102 0 -1 4202560 2871 0 0 0 27242 3 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616636472712 140617521047360 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16788] ppid=16760 vsize=13801768 CPUtime=269.07 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16788/stat : 16788 (java) R 16760 16760 7102 0 -1 4202560 2500 0 0 0 26905 2 0 0 20 0 28 0 4831630 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616635420824 140617521048715 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16789] ppid=16760 vsize=13801768 CPUtime=273.06 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16789/stat : 16789 (java) R 16760 16760 7102 0 -1 4202560 2517 0 0 0 27303 3 0 0 20 0 28 0 4831631 14133010432 843442 33554432000 4194304 4196468 140737383929488 140616634367904 140617521045832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
Current children cumulated CPU time (s) 2199.89
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.501 s]
/proc/loadavg: 11.99 14.20 14.24 10/291 16883
/proc/meminfo: memFree=23658892/32770624 swapFree=5656/334732
[pid=16760] ppid=16757 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16760/stat : 16760 (xcsp3-exec) S 16757 16760 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4830861 9740288 345 33554432000 4194304 5098028 140737372409888 140737372407992 139715333116540 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 27971584 140737372411022 140737372411232 140737372411232 140737372413931 0
/proc/16760/statm: 2378 345 289 221 0 87 0
[pid=16761] ppid=16760 vsize=13801768 CPUtime=2400.66 cores=1,3,5,7,9,11,13,15
/proc/16761/stat : 16761 (java) S 16760 16760 7102 0 -1 1077944320 97810 0 0 0 239729 337 0 0 20 0 28 0 4830861 14133010432 847781 33554432000 4194304 4196468 140737383929488 140737383912032 140617927450359 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
/proc/16761/statm: 3450442 847781 3289 1 0 3437675 0
[pid=16761/tid=16762] ppid=16760 vsize=13801768 CPUtime=7.37 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16762/stat : 16762 (java) S 16760 16760 7102 0 -1 1077944384 8664 0 0 0 726 11 0 0 20 0 28 0 4830861 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617931691136 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16764] ppid=16760 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16764/stat : 16764 (java) S 16760 16760 7102 0 -1 1077944384 747 0 0 0 57 35 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617845931024 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16765] ppid=16760 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16765/stat : 16765 (java) S 16760 16760 7102 0 -1 1077944384 2170 0 0 0 55 36 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617844878480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16766] ppid=16760 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16766/stat : 16766 (java) S 16760 16760 7102 0 -1 1077944384 749 0 0 0 46 32 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617843825424 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16767] ppid=16760 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16767/stat : 16767 (java) S 16760 16760 7102 0 -1 1077944384 1762 0 0 0 55 32 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617842772880 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16768] ppid=16760 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16768/stat : 16768 (java) S 16760 16760 7102 0 -1 1077944384 897 0 0 0 55 28 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617841719824 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16769] ppid=16760 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16769/stat : 16769 (java) S 16760 16760 7102 0 -1 1077944384 1080 0 0 0 58 37 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617840667280 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16770] ppid=16760 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16770/stat : 16770 (java) S 16760 16760 7102 0 -1 1077944384 728 0 0 0 58 36 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617839614224 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16771] ppid=16760 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16771/stat : 16771 (java) S 16760 16760 7102 0 -1 1077944384 805 0 0 0 51 34 0 0 20 0 28 0 4830863 14133010432 847781 33554432000 4194304 4196468 140737383929488 140617838561680 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16772] ppid=16760 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16772/stat : 16772 (java) S 16760 16760 7102 0 -1 1077944384 6291 0 0 0 7 6 0 0 20 0 28 0 4830865 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616658725616 140617927461506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16773] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16773/stat : 16773 (java) S 16760 16760 7102 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4830865 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616657671904 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16774] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16774/stat : 16774 (java) S 16760 16760 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4830866 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616656618752 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16775] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16775/stat : 16775 (java) S 16760 16760 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4830870 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616655567312 140617927468955 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16776] ppid=16760 vsize=13801768 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16776/stat : 16776 (java) S 16760 16760 7102 0 -1 1077944384 16228 0 0 0 385 3 0 0 20 0 28 0 4830870 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616654514416 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16777] ppid=16760 vsize=13801768 CPUtime=3.19 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16777/stat : 16777 (java) S 16760 16760 7102 0 -1 1077944384 13198 0 0 0 317 2 0 0 20 0 28 0 4830870 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616653461872 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16778] ppid=16760 vsize=13801768 CPUtime=3.23 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16778/stat : 16778 (java) S 16760 16760 7102 0 -1 1077944384 10546 0 0 0 321 2 0 0 20 0 28 0 4830870 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616652408816 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16779] ppid=16760 vsize=13801768 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16779/stat : 16779 (java) S 16760 16760 7102 0 -1 1077944384 7883 0 0 0 83 1 0 0 20 0 28 0 4830870 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616651356272 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16780] ppid=16760 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16780/stat : 16780 (java) S 16760 16760 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4830870 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616650304480 140617927460565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16781] ppid=16760 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16781/stat : 16781 (java) S 16760 16760 7102 0 -1 1077944384 978 0 0 0 7 9 0 0 20 0 28 0 4830871 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616649252016 140617927461506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16782] ppid=16760 vsize=13801768 CPUtime=295.9 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16782/stat : 16782 (java) R 16760 16760 7102 0 -1 4202560 2990 0 0 0 29587 3 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616641735320 140617521048852 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16783] ppid=16760 vsize=13801768 CPUtime=297.84 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16783/stat : 16783 (java) R 16760 16760 7102 0 -1 4202560 1963 0 0 0 29781 3 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616640684056 140617521048655 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16784] ppid=16760 vsize=13801768 CPUtime=297.25 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16784/stat : 16784 (java) R 16760 16760 7102 0 -1 4202560 4537 0 0 0 29720 5 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616639631144 140617521048664 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16785] ppid=16760 vsize=13801768 CPUtime=298.01 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16785/stat : 16785 (java) R 16760 16760 7102 0 -1 4202560 3209 0 0 0 29798 3 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616638578456 140617521048715 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16786] ppid=16760 vsize=13801768 CPUtime=295.58 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16786/stat : 16786 (java) R 16760 16760 7102 0 -1 4202560 2349 0 0 0 29553 5 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616637525400 140617521047411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16787] ppid=16760 vsize=13801768 CPUtime=297.62 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16787/stat : 16787 (java) R 16760 16760 7102 0 -1 4202560 2978 0 0 0 29759 3 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616636472712 140617521047213 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16788] ppid=16760 vsize=13801768 CPUtime=294.16 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16788/stat : 16788 (java) R 16760 16760 7102 0 -1 4202560 3051 0 0 0 29414 2 0 0 20 0 28 0 4831630 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616635420824 140617521046981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
[pid=16761/tid=16789] ppid=16760 vsize=13801768 CPUtime=298.23 cores=1,3,5,7,9,11,13,15
/proc/16761/task/16789/stat : 16789 (java) R 16760 16760 7102 0 -1 4202560 2648 0 0 0 29820 3 0 0 20 0 28 0 4831631 14133010432 847781 33554432000 4194304 4196468 140737383929488 140616634367904 140617521048683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27070464 140737383937212 140737383937388 140737383937388 140737383940047 0
Current children cumulated CPU time (s) 2400.66
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 16761 sig 9
??? kill 16760 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16760 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1035
# CPU time returned by wait4() is 0.003965
# while last known CPU time is 2400.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.512
CPU time (s): 2400.66
CPU user time (s): 2397.29
CPU system time (s): 3.37
CPU usage (%): 780.672
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00293
system time used= 0.001035
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.77902 second user time and 4.10574 second system time
The end