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-4244286-1500682495/watcher-4244286-1500682495 -o /tmp/evaluation-result-4244286-1500682495/solver-4244286-1500682495 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1479294611 HOME/instance-4244286-1500682495.xml
pid=14678
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: 1.81 1.94 1.94 3/239 14681
/proc/meminfo: memFree=31984976/32770624 swapFree=5964/214244
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
[startup+0.100126 s]
/proc/loadavg: 1.81 1.94 1.94 3/239 14681
/proc/meminfo: memFree=31984976/32770624 swapFree=5964/214244
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20033 s]
/proc/loadavg: 1.81 1.94 1.94 3/239 14681
/proc/meminfo: memFree=31984976/32770624 swapFree=5964/214244
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300397 s]
/proc/loadavg: 1.81 1.94 1.94 3/239 14681
/proc/meminfo: memFree=31984976/32770624 swapFree=5964/214244
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 1.81 1.94 1.94 3/239 14681
/proc/meminfo: memFree=31984976/32770624 swapFree=5964/214244
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/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: 1.81 1.94 1.94 14/266 14752
/proc/meminfo: memFree=31884620/32770624 swapFree=5972/215212
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
[pid=14683] ppid=14681 vsize=13801768 CPUtime=6.66 cores=1,3,5,7,9,11,13,15
/proc/14683/stat : 14683 (java) S 14681 14681 14626 0 -1 1077944320 23430 0 1 0 656 10 0 0 20 0 28 0 3519056 14133010432 36508 33554432000 4194304 4196468 140731853482896 140731853465440 139660660137719 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
/proc/14683/statm: 3450442 36508 3234 1 0 3437675 0
[pid=14683/tid=14685] ppid=14681 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14685/stat : 14685 (java) S 14681 14681 14626 0 -1 1077944384 6967 0 1 0 68 4 0 0 20 0 28 0 3519057 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660664378496 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14692] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14692/stat : 14692 (java) S 14681 14681 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660599102224 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14693] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14693/stat : 14693 (java) S 14681 14681 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660598049680 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14694] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14694/stat : 14694 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660596997136 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14695] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14695/stat : 14695 (java) S 14681 14681 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660595944592 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14696] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14696/stat : 14696 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660594891024 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14697] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14697/stat : 14697 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660593838480 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14698] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14698/stat : 14698 (java) S 14681 14681 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660253157904 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14699] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14699/stat : 14699 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 36508 33554432000 4194304 4196468 140731853482896 139660252105360 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14709] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14709/stat : 14709 (java) S 14681 14681 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3519060 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659853158896 139660660148866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14710] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14710/stat : 14710 (java) S 14681 14681 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659852105120 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14712] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14712/stat : 14712 (java) S 14681 14681 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659851052528 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14715] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14715/stat : 14715 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659850001104 139660660156315 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14716] ppid=14681 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14716/stat : 14716 (java) R 14681 14681 14626 0 -1 4202560 2302 0 0 0 62 0 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659848928712 139660660151628 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14717] ppid=14681 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14717/stat : 14717 (java) R 14681 14681 14626 0 -1 4202560 4812 0 0 0 82 1 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659847879816 139660645252857 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14718] ppid=14681 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14718/stat : 14718 (java) R 14681 14681 14626 0 -1 4202560 3756 0 0 0 65 1 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659846827272 139660644527320 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14719] ppid=14681 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14719/stat : 14719 (java) S 14681 14681 14626 0 -1 1077944384 3701 0 0 0 68 2 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659845790064 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14720] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14720/stat : 14720 (java) S 14681 14681 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659844737760 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14721] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14721/stat : 14721 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659843685296 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14737] ppid=14681 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14737/stat : 14737 (java) R 14681 14681 14626 0 -1 4202560 84 0 0 0 32 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659836171640 139660278776168 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14738] ppid=14681 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14738/stat : 14738 (java) R 14681 14681 14626 0 -1 4202560 68 0 0 0 36 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659835121048 139660279181721 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14739] ppid=14681 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14739/stat : 14739 (java) R 14681 14681 14626 0 -1 4202560 64 0 0 0 41 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659834066536 139660279633405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14740] ppid=14681 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14740/stat : 14740 (java) R 14681 14681 14626 0 -1 4202560 88 0 0 0 34 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659833008872 139660279300848 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14741] ppid=14681 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14741/stat : 14741 (java) R 14681 14681 14626 0 -1 4202560 98 0 0 0 43 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659831959272 139660279070172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14742] ppid=14681 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14742/stat : 14742 (java) R 14681 14681 14626 0 -1 4202560 78 0 0 0 44 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659830908184 139660273750934 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14743] ppid=14681 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14743/stat : 14743 (java) R 14681 14681 14626 0 -1 4202560 57 0 0 0 33 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659829852664 139660279715431 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14744] ppid=14681 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14744/stat : 14744 (java) R 14681 14681 14626 0 -1 4202560 44 0 0 0 42 0 0 0 20 0 28 0 3519134 14133010432 36508 33554432000 4194304 4196468 140731853482896 139659828797000 139660273786570 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 13811280
[startup+3.10157 s]
/proc/loadavg: 2.70 2.12 2.00 6/270 14758
/proc/meminfo: memFree=31806664/32770624 swapFree=5972/215112
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
[pid=14683] ppid=14681 vsize=13801768 CPUtime=18.52 cores=1,3,5,7,9,11,13,15
/proc/14683/stat : 14683 (java) S 14681 14681 14626 0 -1 1077944320 46461 0 1 0 1832 20 0 0 20 0 28 0 3519056 14133010432 63298 33554432000 4194304 4196468 140731853482896 140731853465440 139660660137719 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
/proc/14683/statm: 3450442 63298 3262 1 0 3437675 0
[pid=14683/tid=14685] ppid=14681 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14685/stat : 14685 (java) S 14681 14681 14626 0 -1 1077944384 6967 0 1 0 68 4 0 0 20 0 28 0 3519057 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660664378496 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14692] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14692/stat : 14692 (java) S 14681 14681 14626 0 -1 1077944384 685 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660599102224 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14693] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14693/stat : 14693 (java) S 14681 14681 14626 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660598049680 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14694] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14694/stat : 14694 (java) S 14681 14681 14626 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660596997136 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14695] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14695/stat : 14695 (java) S 14681 14681 14626 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660595944592 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14696] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14696/stat : 14696 (java) S 14681 14681 14626 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660594891024 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14697] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14697/stat : 14697 (java) S 14681 14681 14626 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660593838480 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14698] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14698/stat : 14698 (java) S 14681 14681 14626 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660253157904 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14699] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14699/stat : 14699 (java) S 14681 14681 14626 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3519058 14133010432 63298 33554432000 4194304 4196468 140731853482896 139660252105360 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14709] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14709/stat : 14709 (java) S 14681 14681 14626 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 28 0 3519060 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659853158896 139660660148866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14710] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14710/stat : 14710 (java) S 14681 14681 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659852105120 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14712] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14712/stat : 14712 (java) S 14681 14681 14626 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659851052528 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14715] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14715/stat : 14715 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659850001104 139660660156315 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14716] ppid=14681 vsize=13801768 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14716/stat : 14716 (java) R 14681 14681 14626 0 -1 4202560 5935 0 0 0 156 1 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659848935904 139660643548735 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14717] ppid=14681 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14717/stat : 14717 (java) R 14681 14681 14626 0 -1 4202560 13481 0 0 0 206 2 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659847884032 139660646155392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14718] ppid=14681 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14718/stat : 14718 (java) R 14681 14681 14626 0 -1 4202560 10112 0 0 0 157 2 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659846828368 139660645064318 0 4 0 16800975 0 0 0 -1 9 0 0 22 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14719] ppid=14681 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14719/stat : 14719 (java) R 14681 14681 14626 0 -1 1077944384 5310 0 0 0 77 2 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659845790064 139660660148866 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14720] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14720/stat : 14720 (java) S 14681 14681 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659844737760 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14721] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14721/stat : 14721 (java) S 14681 14681 14626 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659843685296 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14737] ppid=14681 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14737/stat : 14737 (java) R 14681 14681 14626 0 -1 4202560 240 0 0 0 119 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659836167880 139660279138636 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14738] ppid=14681 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14738/stat : 14738 (java) R 14681 14681 14626 0 -1 4202560 122 0 0 0 170 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659835116928 139660281199190 0 4 0 16800975 0 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14739] ppid=14681 vsize=13801768 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14739/stat : 14739 (java) R 14681 14681 14626 0 -1 4202560 152 0 0 0 140 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659834062656 139660281199468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14740] ppid=14681 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14740/stat : 14740 (java) R 14681 14681 14626 0 -1 4202560 403 0 0 0 126 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659833007792 139660280422464 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14741] ppid=14681 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14741/stat : 14741 (java) R 14681 14681 14626 0 -1 4202560 178 0 0 0 141 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659831957896 139660281199387 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14742] ppid=14681 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14742/stat : 14742 (java) R 14681 14681 14626 0 -1 4202560 241 0 0 0 161 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659830908296 139660278774592 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14743] ppid=14681 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14743/stat : 14743 (java) R 14681 14681 14626 0 -1 4202560 217 0 0 0 148 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659829856432 139660281199400 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14744] ppid=14681 vsize=13801768 CPUtime=1.52 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14744/stat : 14744 (java) R 14681 14681 14626 0 -1 4202560 241 0 0 0 152 0 0 0 20 0 28 0 3519134 14133010432 63298 33554432000 4194304 4196468 140731853482896 139659828801104 139660281199171 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
Current children cumulated CPU time (s) 18.52
Current children cumulated vsize (KiB) 13811280
[startup+6.30157 s]
/proc/loadavg: 2.70 2.12 2.00 13/291 14924
/proc/meminfo: memFree=31656680/32770624 swapFree=5972/215140
################
# More data... #
################
[pid=14683/tid=14743] ppid=14681 vsize=13801768 CPUtime=278.08 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14743/stat : 14743 (java) R 14681 14681 14626 0 -1 4202560 1600 0 0 0 27807 1 0 0 20 0 28 0 3519134 14133010432 197384 33554432000 4194304 4196468 140731853482896 139659829854440 139660281199028 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14744] ppid=14681 vsize=13801768 CPUtime=277.93 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14744/stat : 14744 (java) R 14681 14681 14626 0 -1 4202560 1313 0 0 0 27792 1 0 0 20 0 28 0 3519134 14133010432 197384 33554432000 4194304 4196468 140731853482896 139659828801736 139660281199373 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
Current children cumulated CPU time (s) 2238.58
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.702 s]
/proc/loadavg: 9.10 6.59 3.98 12/291 15326
/proc/meminfo: memFree=22964296/32770624 swapFree=5972/215620
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
[pid=14683] ppid=14681 vsize=13801768 CPUtime=2400.22 cores=1,3,5,7,9,11,13,15
/proc/14683/stat : 14683 (java) S 14681 14681 14626 0 -1 1077944320 72081 0 1 0 239720 302 0 0 20 0 28 0 3519056 14133010432 185745 33554432000 4194304 4196468 140731853482896 140731853465440 139660660137719 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
/proc/14683/statm: 3450442 185745 3278 1 0 3437675 0
[pid=14683/tid=14685] ppid=14681 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14685/stat : 14685 (java) S 14681 14681 14626 0 -1 1077944384 6967 0 1 0 68 4 0 0 20 0 28 0 3519057 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660664378496 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14692] ppid=14681 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14692/stat : 14692 (java) S 14681 14681 14626 0 -1 1077944384 1458 0 0 0 37 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660599102224 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14693] ppid=14681 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14693/stat : 14693 (java) S 14681 14681 14626 0 -1 1077944384 873 0 0 0 38 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660598049680 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14694] ppid=14681 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14694/stat : 14694 (java) S 14681 14681 14626 0 -1 1077944384 550 0 0 0 36 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660596997136 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14695] ppid=14681 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14695/stat : 14695 (java) S 14681 14681 14626 0 -1 1077944384 680 0 0 0 36 29 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660595944592 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14696] ppid=14681 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14696/stat : 14696 (java) S 14681 14681 14626 0 -1 1077944384 1302 0 0 0 36 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660594891024 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14697] ppid=14681 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14697/stat : 14697 (java) S 14681 14681 14626 0 -1 1077944384 1080 0 0 0 36 28 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660593838480 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14698] ppid=14681 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14698/stat : 14698 (java) S 14681 14681 14626 0 -1 1077944384 1758 0 0 0 38 26 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660253157904 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14699] ppid=14681 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14699/stat : 14699 (java) S 14681 14681 14626 0 -1 1077944384 726 0 0 0 34 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660252105360 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14709] ppid=14681 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14709/stat : 14709 (java) S 14681 14681 14626 0 -1 1077944384 2365 0 0 0 31 48 0 0 20 0 28 0 3519060 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659853158896 139660660148866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14710] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14710/stat : 14710 (java) S 14681 14681 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659852105120 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14712] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14712/stat : 14712 (java) S 14681 14681 14626 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659851052528 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14715] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14715/stat : 14715 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659850001104 139660660156315 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14716] ppid=14681 vsize=13801768 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14716/stat : 14716 (java) S 14681 14681 14626 0 -1 1077944384 7290 0 0 0 252 1 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659848947696 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14717] ppid=14681 vsize=13801768 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14717/stat : 14717 (java) S 14681 14681 14626 0 -1 1077944384 16130 0 0 0 287 2 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659847895152 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14718] ppid=14681 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14718/stat : 14718 (java) S 14681 14681 14626 0 -1 1077944384 12857 0 0 0 264 2 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659846842608 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14719] ppid=14681 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14719/stat : 14719 (java) S 14681 14681 14626 0 -1 1077944384 6431 0 0 0 87 2 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659845790064 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14720] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14720/stat : 14720 (java) S 14681 14681 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659844737760 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14721] ppid=14681 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14721/stat : 14721 (java) S 14681 14681 14626 0 -1 1077944384 274 0 0 0 7 9 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659843685296 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14737] ppid=14681 vsize=13801768 CPUtime=296.58 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14737/stat : 14737 (java) R 14681 14681 14626 0 -1 4202560 1232 0 0 0 29657 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659836169432 139660278776128 0 4 0 16800975 0 0 0 -1 11 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14738] ppid=14681 vsize=13801768 CPUtime=298.49 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14738/stat : 14738 (java) R 14681 14681 14626 0 -1 4202560 1177 0 0 0 29848 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659835120960 139660280671235 0 4 0 16800975 0 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14739] ppid=14681 vsize=13801768 CPUtime=298.36 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14739/stat : 14739 (java) R 14681 14681 14626 0 -1 4202560 1214 0 0 0 29835 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659834064208 139660281199370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14740] ppid=14681 vsize=13801768 CPUtime=298.85 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14740/stat : 14740 (java) R 14681 14681 14626 0 -1 4202560 1294 0 0 0 29883 2 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659833011912 139660281199397 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14741] ppid=14681 vsize=13801768 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14741/stat : 14741 (java) R 14681 14681 14626 0 -1 4202560 968 0 0 0 29756 2 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659831959528 139660281199403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14742] ppid=14681 vsize=13801768 CPUtime=298.01 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14742/stat : 14742 (java) R 14681 14681 14626 0 -1 4202560 1079 0 0 0 29801 0 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659830906344 139660280390158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14743] ppid=14681 vsize=13801768 CPUtime=298.21 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14743/stat : 14743 (java) R 14681 14681 14626 0 -1 4202560 1698 0 0 0 29820 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659829854440 139660281199380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14744] ppid=14681 vsize=13801768 CPUtime=298.14 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14744/stat : 14744 (java) R 14681 14681 14626 0 -1 4202560 1328 0 0 0 29813 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659828801736 139660281199005 0 4 0 16800975 0 0 0 -1 13 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
Current children cumulated CPU time (s) 2400.22
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 14683 sig 9
??? kill 14681 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.702 s]
/proc/loadavg: 9.10 6.59 3.98 12/291 15326
/proc/meminfo: memFree=22964296/32770624 swapFree=5972/215620
[pid=14681] ppid=14678 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14681/stat : 14681 (xcsp3-exec) S 14678 14681 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3519056 9740288 345 33554432000 4194304 5098028 140724109056960 140724109055064 139922160972412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 33292288 140724109059214 140724109059424 140724109059424 140724109062123 0
/proc/14681/statm: 2378 345 289 221 0 87 0
[pid=14683] ppid=14681 vsize=13801768 CPUtime=2400.22 cores=1,3,5,7,9,11,13,15
/proc/14683/stat : 14683 (java) S 14681 14681 14626 0 -1 1077944320 72081 0 1 0 239720 302 0 0 20 0 28 0 3519056 14133010432 185745 33554432000 4194304 4196468 140731853482896 140731853465440 139660660137719 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
/proc/14683/statm: 3450442 185745 3278 1 0 3437675 0
[pid=14683/tid=14685] ppid=14681 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14685/stat : 14685 (java) S 14681 14681 14626 0 -1 1077944384 6967 0 1 0 68 4 0 0 20 0 28 0 3519057 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660664378496 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14692] ppid=14681 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14692/stat : 14692 (java) S 14681 14681 14626 0 -1 1077944384 1458 0 0 0 37 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660599102224 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14693] ppid=14681 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14693/stat : 14693 (java) S 14681 14681 14626 0 -1 1077944384 873 0 0 0 38 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660598049680 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14694] ppid=14681 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14694/stat : 14694 (java) S 14681 14681 14626 0 -1 1077944384 550 0 0 0 36 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660596997136 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14695] ppid=14681 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14695/stat : 14695 (java) S 14681 14681 14626 0 -1 1077944384 680 0 0 0 36 29 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660595944592 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14696] ppid=14681 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14696/stat : 14696 (java) S 14681 14681 14626 0 -1 1077944384 1302 0 0 0 36 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660594891024 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14697] ppid=14681 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14697/stat : 14697 (java) S 14681 14681 14626 0 -1 1077944384 1080 0 0 0 36 28 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660593838480 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14698] ppid=14681 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14698/stat : 14698 (java) S 14681 14681 14626 0 -1 1077944384 1758 0 0 0 38 26 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660253157904 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14699] ppid=14681 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14699/stat : 14699 (java) S 14681 14681 14626 0 -1 1077944384 726 0 0 0 34 27 0 0 20 0 28 0 3519058 14133010432 185745 33554432000 4194304 4196468 140731853482896 139660252105360 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14709] ppid=14681 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14709/stat : 14709 (java) S 14681 14681 14626 0 -1 1077944384 2365 0 0 0 31 48 0 0 20 0 28 0 3519060 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659853158896 139660660148866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14710] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14710/stat : 14710 (java) S 14681 14681 14626 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659852105120 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14712] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14712/stat : 14712 (java) S 14681 14681 14626 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3519061 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659851052528 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14715] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14715/stat : 14715 (java) S 14681 14681 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659850001104 139660660156315 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14716] ppid=14681 vsize=13801768 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14716/stat : 14716 (java) S 14681 14681 14626 0 -1 1077944384 7290 0 0 0 252 1 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659848947696 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14717] ppid=14681 vsize=13801768 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14717/stat : 14717 (java) S 14681 14681 14626 0 -1 1077944384 16130 0 0 0 287 2 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659847895152 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14718] ppid=14681 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14718/stat : 14718 (java) S 14681 14681 14626 0 -1 1077944384 12857 0 0 0 264 2 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659846842608 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14719] ppid=14681 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14719/stat : 14719 (java) S 14681 14681 14626 0 -1 1077944384 6431 0 0 0 87 2 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659845790064 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14720] ppid=14681 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14720/stat : 14720 (java) S 14681 14681 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659844737760 139660660147925 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14721] ppid=14681 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14721/stat : 14721 (java) S 14681 14681 14626 0 -1 1077944384 274 0 0 0 7 9 0 0 20 0 28 0 3519065 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659843685296 139660660148866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14737] ppid=14681 vsize=13801768 CPUtime=296.58 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14737/stat : 14737 (java) R 14681 14681 14626 0 -1 4202560 1232 0 0 0 29657 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659836169432 139660278776128 0 4 0 16800975 0 0 0 -1 11 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14738] ppid=14681 vsize=13801768 CPUtime=298.49 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14738/stat : 14738 (java) R 14681 14681 14626 0 -1 4202560 1177 0 0 0 29848 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659835120960 139660280671235 0 4 0 16800975 0 0 0 -1 9 0 0 2 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14739] ppid=14681 vsize=13801768 CPUtime=298.36 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14739/stat : 14739 (java) R 14681 14681 14626 0 -1 4202560 1214 0 0 0 29835 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659834064208 139660281199370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14740] ppid=14681 vsize=13801768 CPUtime=298.85 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14740/stat : 14740 (java) R 14681 14681 14626 0 -1 4202560 1294 0 0 0 29883 2 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659833011912 139660281199397 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14741] ppid=14681 vsize=13801768 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14741/stat : 14741 (java) R 14681 14681 14626 0 -1 4202560 968 0 0 0 29756 2 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659831959528 139660281199403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14742] ppid=14681 vsize=13801768 CPUtime=298.01 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14742/stat : 14742 (java) R 14681 14681 14626 0 -1 4202560 1079 0 0 0 29801 0 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659830906344 139660280390158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14743] ppid=14681 vsize=13801768 CPUtime=298.21 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14743/stat : 14743 (java) R 14681 14681 14626 0 -1 4202560 1698 0 0 0 29820 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659829854440 139660281199380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
[pid=14683/tid=14744] ppid=14681 vsize=13801768 CPUtime=298.14 cores=1,3,5,7,9,11,13,15
/proc/14683/task/14744/stat : 14744 (java) R 14681 14681 14626 0 -1 4202560 1328 0 0 0 29813 1 0 0 20 0 28 0 3519134 14133010432 185745 33554432000 4194304 4196468 140731853482896 139659828801736 139660281199005 0 4 0 16800975 0 0 0 -1 13 0 0 21 0 0 6293624 6294260 24330240 140731853485244 140731853485420 140731853485420 140731853488079 0
Current children cumulated CPU time (s) 2400.22
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14681 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1932
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1536
# CPU time returned by wait4() is 0.003468
# while last known CPU time is 2400.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.713
CPU time (s): 2400.22
CPU user time (s): 2397.2
CPU system time (s): 3.02
CPU usage (%): 792.904
Max. virtual memory (cumulated for all children) (KiB): 13815684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001932
system time used= 0.001536
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 4.05176 second user time and 3.91067 second system time
The end