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-4244506-1500683299/watcher-4244506-1500683299 -o /tmp/evaluation-result-4244506-1500683299/solver-4244506-1500683299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1128354683 HOME/instance-4244506-1500683299.xml
pid=17730
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: 16.17 15.73 12.00 3/265 17733
/proc/meminfo: memFree=31972384/32770624 swapFree=5900/217332
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
[startup+0.100105 s]
/proc/loadavg: 16.17 15.73 12.00 3/265 17733
/proc/meminfo: memFree=31972384/32770624 swapFree=5900/217332
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200281 s]
/proc/loadavg: 16.17 15.73 12.00 3/265 17733
/proc/meminfo: memFree=31972384/32770624 swapFree=5900/217332
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300312 s]
/proc/loadavg: 16.17 15.73 12.00 3/265 17733
/proc/meminfo: memFree=31972384/32770624 swapFree=5900/217332
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 16.17 15.73 12.00 3/265 17733
/proc/meminfo: memFree=31972384/32770624 swapFree=5900/217332
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50147 s]
/proc/loadavg: 16.17 15.73 12.00 18/296 17814
/proc/meminfo: memFree=31738276/32770624 swapFree=5900/217416
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
[pid=17734] ppid=17733 vsize=13801768 CPUtime=6.55 cores=1,3,5,7,9,11,13,15
/proc/17734/stat : 17734 (java) S 17733 17733 16913 0 -1 1077944320 31743 0 0 0 644 11 0 0 20 0 28 0 3596887 14133010432 54371 33554432000 4194304 4196468 140732904286976 140732904269520 139646386929399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
/proc/17734/statm: 3450442 54371 3224 1 0 3437675 0
[pid=17734/tid=17735] ppid=17733 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17735/stat : 17735 (java) S 17733 17733 16913 0 -1 1077944384 8131 0 0 0 99 5 0 0 20 0 28 0 3596888 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646391170176 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17737] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17737/stat : 17737 (java) S 17733 17733 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646305409424 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17738] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17738/stat : 17738 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646304356624 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17739] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17739/stat : 17739 (java) S 17733 17733 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646303304336 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17740] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17740/stat : 17740 (java) S 17733 17733 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646302251536 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17741] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17741/stat : 17741 (java) S 17733 17733 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646301199248 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17742] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17742/stat : 17742 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139646300146448 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17743] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17743/stat : 17743 (java) S 17733 17733 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645979454608 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17744] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17744/stat : 17744 (java) S 17733 17733 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645978401808 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17745] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17745/stat : 17745 (java) S 17733 17733 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3596891 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645647956080 139646386940546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17746] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17746/stat : 17746 (java) S 17733 17733 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645646902048 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17747] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17747/stat : 17747 (java) S 17733 17733 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645645849712 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17748] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17748/stat : 17748 (java) S 17733 17733 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645644798032 139646386947995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17749] ppid=17733 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17749/stat : 17749 (java) R 17733 17733 16913 0 -1 4202560 6123 0 0 0 84 1 0 0 20 0 28 0 3596896 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645643730376 139646366167872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17750] ppid=17733 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17750/stat : 17750 (java) R 17733 17733 16913 0 -1 4202560 6622 0 0 0 89 1 0 0 20 0 28 0 3596896 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645642677592 139646371319253 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17751] ppid=17733 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17751/stat : 17751 (java) R 17733 17733 16913 0 -1 4202560 4484 0 0 0 81 1 0 0 20 0 28 0 3596896 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645641626840 139646368474614 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17752] ppid=17733 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17752/stat : 17752 (java) S 17733 17733 16913 0 -1 1077944384 4428 0 0 0 76 1 0 0 20 0 28 0 3596896 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645640588016 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17753] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17753/stat : 17753 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645639534944 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17754] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17754/stat : 17754 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596897 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645638482224 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17807] ppid=17733 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17807/stat : 17807 (java) R 17733 17733 16913 0 -1 4202560 108 0 0 0 29 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645630466648 139645985540855 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17808] ppid=17733 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17808/stat : 17808 (java) R 17733 17733 16913 0 -1 4202560 105 0 0 0 34 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645629417576 139645985644579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17809] ppid=17733 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17809/stat : 17809 (java) R 17733 17733 16913 0 -1 4202560 51 0 0 0 25 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645628361896 139645985942226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17810] ppid=17733 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17810/stat : 17810 (java) R 17733 17733 16913 0 -1 4202560 90 0 0 0 19 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645560016584 139645985807166 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17811] ppid=17733 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17811/stat : 17811 (java) R 17733 17733 16913 0 -1 4202560 69 0 0 0 24 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645558965152 139645985318688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17812] ppid=17733 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17812/stat : 17812 (java) R 17733 17733 16913 0 -1 4202560 88 0 0 0 31 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645557910872 139645985805257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17813] ppid=17733 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17813/stat : 17813 (java) R 17733 17733 16913 0 -1 4202560 75 0 0 0 20 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645556858216 139645981078048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17814] ppid=17733 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17814/stat : 17814 (java) R 17733 17733 16913 0 -1 4202560 44 0 0 0 29 0 0 0 20 0 28 0 3596994 14133010432 54371 33554432000 4194304 4196468 140732904286976 139645555804712 139645985318727 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 13811280
[startup+3.1016 s]
/proc/loadavg: 16.17 15.73 12.00 23/304 17822
/proc/meminfo: memFree=31585992/32770624 swapFree=5900/217416
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
[pid=17734] ppid=17733 vsize=13801768 CPUtime=19.19 cores=1,3,5,7,9,11,13,15
/proc/17734/stat : 17734 (java) S 17733 17733 16913 0 -1 1077944320 38022 0 0 0 1899 20 0 0 20 0 28 0 3596887 14133010432 65452 33554432000 4194304 4196468 140732904286976 140732904269520 139646386929399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
/proc/17734/statm: 3450442 65452 3265 1 0 3437675 0
[pid=17734/tid=17735] ppid=17733 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17735/stat : 17735 (java) S 17733 17733 16913 0 -1 1077944384 8131 0 0 0 99 5 0 0 20 0 28 0 3596888 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646391170176 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17737] ppid=17733 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17737/stat : 17737 (java) S 17733 17733 16913 0 -1 1077944384 259 0 0 0 1 1 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646305409424 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17738] ppid=17733 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17738/stat : 17738 (java) S 17733 17733 16913 0 -1 1077944384 35 0 0 0 1 1 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646304356624 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17739] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17739/stat : 17739 (java) S 17733 17733 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646303304336 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17740] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17740/stat : 17740 (java) S 17733 17733 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646302251536 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17741] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17741/stat : 17741 (java) S 17733 17733 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646301199248 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17742] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17742/stat : 17742 (java) S 17733 17733 16913 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139646300146448 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17743] ppid=17733 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17743/stat : 17743 (java) S 17733 17733 16913 0 -1 1077944384 816 0 0 0 1 1 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645979454608 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17744] ppid=17733 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17744/stat : 17744 (java) S 17733 17733 16913 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3596889 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645978401808 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17745] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17745/stat : 17745 (java) S 17733 17733 16913 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 28 0 3596891 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645647956080 139646386940546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17746] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17746/stat : 17746 (java) S 17733 17733 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645646902048 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17747] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17747/stat : 17747 (java) S 17733 17733 16913 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645645849712 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17748] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17748/stat : 17748 (java) S 17733 17733 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645644798032 139646386947995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17749] ppid=17733 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17749/stat : 17749 (java) R 17733 17733 16913 0 -1 4202560 7342 0 0 0 210 1 0 0 20 0 28 0 3596896 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645643729392 139646367630544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17750] ppid=17733 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17750/stat : 17750 (java) R 17733 17733 16913 0 -1 4202560 7870 0 0 0 210 1 0 0 20 0 28 0 3596896 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645642683824 139646364817987 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17751] ppid=17733 vsize=13801768 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17751/stat : 17751 (java) R 17733 17733 16913 0 -1 4202560 5518 0 0 0 203 1 0 0 20 0 28 0 3596896 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645641625776 139646368472731 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17752] ppid=17733 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17752/stat : 17752 (java) R 17733 17733 16913 0 -1 4202560 5376 0 0 0 91 1 0 0 20 0 28 0 3596896 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645640588016 139646371175506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17753] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17753/stat : 17753 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645639534944 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17754] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17754/stat : 17754 (java) S 17733 17733 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3596897 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645638482224 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17807] ppid=17733 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17807/stat : 17807 (java) R 17733 17733 16913 0 -1 4202560 211 0 0 0 128 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645630466472 139645987447952 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17808] ppid=17733 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17808/stat : 17808 (java) R 17733 17733 16913 0 -1 4202560 183 0 0 0 134 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645629414680 139645985318151 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17809] ppid=17733 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17809/stat : 17809 (java) R 17733 17733 16913 0 -1 4202560 71 0 0 0 133 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645628365104 139646365989593 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17810] ppid=17733 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17810/stat : 17810 (java) R 17733 17733 16913 0 -1 4202560 133 0 0 0 132 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645560018840 139645985318112 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17811] ppid=17733 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17811/stat : 17811 (java) R 17733 17733 16913 0 -1 4202560 98 0 0 0 131 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645558967432 139645986226720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17812] ppid=17733 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17812/stat : 17812 (java) R 17733 17733 16913 0 -1 4202560 161 0 0 0 138 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645557914160 139645987447306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17813] ppid=17733 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17813/stat : 17813 (java) R 17733 17733 16913 0 -1 4202560 87 0 0 0 114 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645556858408 139645986928751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17814] ppid=17733 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17814/stat : 17814 (java) R 17733 17733 16913 0 -1 4202560 79 0 0 0 159 0 0 0 20 0 28 0 3596994 14133010432 65452 33554432000 4194304 4196468 140732904286976 139645555804600 139645987447836 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 13811280
[startup+6.30161 s]
/proc/loadavg: 17.04 15.92 12.08 21/304 17822
/proc/meminfo: memFree=31490024/32770624 swapFree=5900/217424
################
# More data... #
################
[pid=17734/tid=17813] ppid=17733 vsize=13801768 CPUtime=217.05 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17813/stat : 17813 (java) R 17733 17733 16913 0 -1 4202560 1352 0 0 0 21704 1 0 0 20 0 28 0 3596994 14133010432 76710 33554432000 4194304 4196468 140732904286976 139645556858552 139645988098224 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17814] ppid=17733 vsize=13801768 CPUtime=218.08 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17814/stat : 17814 (java) R 17733 17733 16913 0 -1 4202560 1385 0 0 0 21807 1 0 0 20 0 28 0 3596994 14133010432 76710 33554432000 4194304 4196468 140732904286976 139645555808352 139645988204893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
Current children cumulated CPU time (s) 1758.78
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.43 15.79 13.02 17/304 17874
/proc/meminfo: memFree=31309428/32770624 swapFree=5900/217700
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
[pid=17734] ppid=17733 vsize=13801768 CPUtime=2233.78 cores=1,3,5,7,9,11,13,15
/proc/17734/stat : 17734 (java) S 17733 17733 16913 0 -1 1077944320 99598 0 0 0 223200 178 0 0 20 0 28 0 3596887 14133010432 82539 33554432000 4194304 4196468 140732904286976 140732904269520 139646386929399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
/proc/17734/statm: 3450442 82539 3289 1 0 3437675 0
[pid=17734/tid=17735] ppid=17733 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17735/stat : 17735 (java) S 17733 17733 16913 0 -1 1077944384 8131 0 0 0 99 5 0 0 20 0 28 0 3596888 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646391170176 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17737] ppid=17733 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17737/stat : 17737 (java) S 17733 17733 16913 0 -1 1077944384 2140 0 0 0 40 10 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646305409424 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17738] ppid=17733 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17738/stat : 17738 (java) S 17733 17733 16913 0 -1 1077944384 449 0 0 0 40 10 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646304356624 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17739] ppid=17733 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17739/stat : 17739 (java) S 17733 17733 16913 0 -1 1077944384 1080 0 0 0 38 11 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646303304336 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17740] ppid=17733 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17740/stat : 17740 (java) S 17733 17733 16913 0 -1 1077944384 1856 0 0 0 39 10 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646302251536 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17741] ppid=17733 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17741/stat : 17741 (java) S 17733 17733 16913 0 -1 1077944384 2593 0 0 0 41 10 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646301199248 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17742] ppid=17733 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17742/stat : 17742 (java) S 17733 17733 16913 0 -1 1077944384 770 0 0 0 38 9 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139646300146448 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17743] ppid=17733 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17743/stat : 17743 (java) S 17733 17733 16913 0 -1 1077944384 2595 0 0 0 41 11 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645979454608 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17744] ppid=17733 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17744/stat : 17744 (java) S 17733 17733 16913 0 -1 1077944384 2098 0 0 0 41 11 0 0 20 0 28 0 3596889 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645978401808 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17745] ppid=17733 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17745/stat : 17745 (java) S 17733 17733 16913 0 -1 1077944384 2658 0 0 0 47 60 0 0 20 0 28 0 3596891 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645647956080 139646386940546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17746] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17746/stat : 17746 (java) S 17733 17733 16913 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645646902112 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17747] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17747/stat : 17747 (java) S 17733 17733 16913 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645645849728 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17748] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17748/stat : 17748 (java) S 17733 17733 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645644798032 139646386947995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17749] ppid=17733 vsize=13801768 CPUtime=4.26 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17749/stat : 17749 (java) S 17733 17733 16913 0 -1 1077944384 17715 0 0 0 425 1 0 0 20 0 28 0 3596896 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645643745904 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17750] ppid=17733 vsize=13801768 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17750/stat : 17750 (java) S 17733 17733 16913 0 -1 1077944384 18519 0 0 0 499 3 0 0 20 0 28 0 3596896 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645642693104 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17751] ppid=17733 vsize=13801768 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17751/stat : 17751 (java) S 17733 17733 16913 0 -1 1077944384 11866 0 0 0 401 2 0 0 20 0 28 0 3596896 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645641640816 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17752] ppid=17733 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17752/stat : 17752 (java) S 17733 17733 16913 0 -1 1077944384 11532 0 0 0 128 2 0 0 20 0 28 0 3596896 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645640588016 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17753] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17753/stat : 17753 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645639534944 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17754] ppid=17733 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17754/stat : 17754 (java) S 17733 17733 16913 0 -1 1077944384 1091 0 0 0 6 7 0 0 20 0 28 0 3596897 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645638482224 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17807] ppid=17733 vsize=13801768 CPUtime=277 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17807/stat : 17807 (java) R 17733 17733 16913 0 -1 4202560 1785 0 0 0 27699 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645630467016 139645988285619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17808] ppid=17733 vsize=13801768 CPUtime=276.3 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17808/stat : 17808 (java) R 17733 17733 16913 0 -1 4202560 1836 0 0 0 27629 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645629415224 139645988797711 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17809] ppid=17733 vsize=13801768 CPUtime=276.64 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17809/stat : 17809 (java) R 17733 17733 16913 0 -1 4202560 1688 0 0 0 27663 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645628365136 139645985995492 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17810] ppid=17733 vsize=13801768 CPUtime=276.55 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17810/stat : 17810 (java) R 17733 17733 16913 0 -1 4202560 2534 0 0 0 27654 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645560016552 139645988797889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17811] ppid=17733 vsize=13801768 CPUtime=276.65 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17811/stat : 17811 (java) R 17733 17733 16913 0 -1 4202560 1106 0 0 0 27664 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645558964016 139645990229012 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17812] ppid=17733 vsize=13801768 CPUtime=275.66 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17812/stat : 17812 (java) R 17733 17733 16913 0 -1 4202560 1245 0 0 0 27565 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645557911864 139645988797344 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17813] ppid=17733 vsize=13801768 CPUtime=276.42 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17813/stat : 17813 (java) R 17733 17733 16913 0 -1 4202560 1459 0 0 0 27641 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645556858552 139645988797403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17814] ppid=17733 vsize=13801768 CPUtime=277.49 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17814/stat : 17814 (java) R 17733 17733 16913 0 -1 4202560 1482 0 0 0 27748 1 0 0 20 0 28 0 3596994 14133010432 82539 33554432000 4194304 4196468 140732904286976 139645555805976 139645987172421 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
Current children cumulated CPU time (s) 2233.78
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.401 s]
/proc/loadavg: 15.66 15.82 13.09 17/304 17876
/proc/meminfo: memFree=31274008/32770624 swapFree=5900/217728
[pid=17733] ppid=17730 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17733/stat : 17733 (xcsp3-exec) S 17730 17733 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3596887 9740288 345 33554432000 4194304 5098028 140736171375472 140736171373576 140583512216188 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 16998400 140736171377806 140736171378016 140736171378016 140736171380715 0
/proc/17733/statm: 2378 345 289 221 0 87 0
[pid=17734] ppid=17733 vsize=13801768 CPUtime=2400.65 cores=1,3,5,7,9,11,13,15
/proc/17734/stat : 17734 (java) S 17733 17733 16913 0 -1 1077944320 101810 0 0 0 239872 193 0 0 20 0 28 0 3596887 14133010432 84993 33554432000 4194304 4196468 140732904286976 140732904269520 139646386929399 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
/proc/17734/statm: 3450442 84993 3289 1 0 3437675 0
[pid=17734/tid=17735] ppid=17733 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17735/stat : 17735 (java) S 17733 17733 16913 0 -1 1077944384 8131 0 0 0 99 5 0 0 20 0 28 0 3596888 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646391170176 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17737] ppid=17733 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17737/stat : 17737 (java) S 17733 17733 16913 0 -1 1077944384 2210 0 0 0 44 10 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646305409424 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17738] ppid=17733 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17738/stat : 17738 (java) S 17733 17733 16913 0 -1 1077944384 638 0 0 0 43 10 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646304356624 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17739] ppid=17733 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17739/stat : 17739 (java) S 17733 17733 16913 0 -1 1077944384 1084 0 0 0 41 11 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646303304336 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17740] ppid=17733 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17740/stat : 17740 (java) S 17733 17733 16913 0 -1 1077944384 1864 0 0 0 43 10 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646302251536 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17741] ppid=17733 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17741/stat : 17741 (java) S 17733 17733 16913 0 -1 1077944384 2904 0 0 0 45 10 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646301199248 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17742] ppid=17733 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17742/stat : 17742 (java) S 17733 17733 16913 0 -1 1077944384 871 0 0 0 41 9 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139646300146448 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17743] ppid=17733 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17743/stat : 17743 (java) S 17733 17733 16913 0 -1 1077944384 2809 0 0 0 45 11 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645979454608 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17744] ppid=17733 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17744/stat : 17744 (java) S 17733 17733 16913 0 -1 1077944384 2177 0 0 0 45 11 0 0 20 0 28 0 3596889 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645978401808 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17745] ppid=17733 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17745/stat : 17745 (java) S 17733 17733 16913 0 -1 1077944384 2821 0 0 0 53 70 0 0 20 0 28 0 3596891 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645647956080 139646386940546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17746] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17746/stat : 17746 (java) S 17733 17733 16913 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645646902112 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17747] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17747/stat : 17747 (java) S 17733 17733 16913 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3596892 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645645849728 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17748] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17748/stat : 17748 (java) S 17733 17733 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645644798032 139646386947995 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17749] ppid=17733 vsize=13801768 CPUtime=4.26 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17749/stat : 17749 (java) S 17733 17733 16913 0 -1 1077944384 17717 0 0 0 425 1 0 0 20 0 28 0 3596896 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645643745904 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17750] ppid=17733 vsize=13801768 CPUtime=5.06 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17750/stat : 17750 (java) S 17733 17733 16913 0 -1 1077944384 18860 0 0 0 503 3 0 0 20 0 28 0 3596896 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645642693104 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17751] ppid=17733 vsize=13801768 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17751/stat : 17751 (java) S 17733 17733 16913 0 -1 1077944384 11868 0 0 0 401 2 0 0 20 0 28 0 3596896 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645641640816 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17752] ppid=17733 vsize=13801768 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17752/stat : 17752 (java) S 17733 17733 16913 0 -1 1077944384 11534 0 0 0 128 2 0 0 20 0 28 0 3596896 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645640588016 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17753] ppid=17733 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17753/stat : 17753 (java) S 17733 17733 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3596896 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645639534944 139646386939605 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17754] ppid=17733 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17754/stat : 17754 (java) S 17733 17733 16913 0 -1 1077944384 1102 0 0 0 6 7 0 0 20 0 28 0 3596897 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645638482224 139646386940546 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17807] ppid=17733 vsize=13801768 CPUtime=297.81 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17807/stat : 17807 (java) R 17733 17733 16913 0 -1 4202560 1888 0 0 0 29780 1 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645630469504 139645990229005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17808] ppid=17733 vsize=13801768 CPUtime=297.03 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17808/stat : 17808 (java) R 17733 17733 16913 0 -1 4202560 1899 0 0 0 29701 2 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645629415224 139645986931281 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17809] ppid=17733 vsize=13801768 CPUtime=297.42 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17809/stat : 17809 (java) R 17733 17733 16913 0 -1 4202560 1746 0 0 0 29741 1 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645628362576 139645990229026 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17810] ppid=17733 vsize=13801768 CPUtime=297.41 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17810/stat : 17810 (java) R 17733 17733 16913 0 -1 4202560 2727 0 0 0 29739 2 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645560016952 139645989872939 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17811] ppid=17733 vsize=13801768 CPUtime=297.29 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17811/stat : 17811 (java) R 17733 17733 16913 0 -1 4202560 1139 0 0 0 29728 1 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645558964632 139645988797805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17812] ppid=17733 vsize=13801768 CPUtime=296.51 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17812/stat : 17812 (java) R 17733 17733 16913 0 -1 4202560 1309 0 0 0 29650 1 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645557911864 139645988797699 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17813] ppid=17733 vsize=13801768 CPUtime=297.27 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17813/stat : 17813 (java) R 17733 17733 16913 0 -1 4202560 1591 0 0 0 29726 1 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645556858392 139645988797824 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
[pid=17734/tid=17814] ppid=17733 vsize=13801768 CPUtime=298.33 cores=1,3,5,7,9,11,13,15
/proc/17734/task/17814/stat : 17814 (java) R 17733 17733 16913 0 -1 4202560 1551 0 0 0 29832 1 0 0 20 0 28 0 3596994 14133010432 84993 33554432000 4194304 4196468 140732904286976 139645555805624 139645988797098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32481280 140732904293564 140732904293740 140732904293740 140732904296399 0
Current children cumulated CPU time (s) 2400.65
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 17734 sig 9
??? kill 17733 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 17733 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3100
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.0031
# while last known CPU time is 2400.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.412
CPU time (s): 2400.65
CPU user time (s): 2398.72
CPU system time (s): 1.93
CPU usage (%): 791.218
Max. virtual memory (cumulated for all children) (KiB): 13812936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.0031
system time used= 0
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.67361 second user time and 4.43788 second system time
The end