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-4247688-1500690548/watcher-4247688-1500690548 -o /tmp/evaluation-result-4247688-1500690548/solver-4247688-1500690548 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1101209669 HOME/instance-4247688-1500690548.xml
pid=14731
running on 8 cores: 0,2,4,6,8,10,12,14
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.15 13.37 10.97 10/275 14734
/proc/meminfo: memFree=31427132/32770624 swapFree=5900/262804
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 16.15 13.37 10.97 10/275 14734
/proc/meminfo: memFree=31427132/32770624 swapFree=5900/262804
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200358 s]
/proc/loadavg: 16.15 13.37 10.97 10/275 14734
/proc/meminfo: memFree=31427132/32770624 swapFree=5900/262804
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300257 s]
/proc/loadavg: 16.15 13.37 10.97 10/275 14734
/proc/meminfo: memFree=31427132/32770624 swapFree=5900/262804
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700212 s]
/proc/loadavg: 16.15 13.37 10.97 10/275 14734
/proc/meminfo: memFree=31427132/32770624 swapFree=5900/262804
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50132 s]
/proc/loadavg: 16.15 13.37 10.97 21/304 14763
/proc/meminfo: memFree=31264020/32770624 swapFree=5900/262832
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
[pid=14735] ppid=14734 vsize=13801768 CPUtime=6.93 cores=0,2,4,6,8,10,12,14
/proc/14735/stat : 14735 (java) S 14734 14734 16913 0 -1 1077944320 17973 0 0 0 685 8 0 0 20 0 28 0 4321707 14133010432 44932 33554432000 4194304 4196468 140723566682016 140723566664560 140437896515319 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
/proc/14735/statm: 3450442 44932 3231 1 0 3437675 0
[pid=14735/tid=14736] ppid=14734 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14736/stat : 14736 (java) S 14734 14734 16913 0 -1 1077944384 6948 0 0 0 94 4 0 0 20 0 28 0 4321707 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437900756096 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14738] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14738/stat : 14738 (java) S 14734 14734 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437849135376 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14739] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14739/stat : 14739 (java) S 14734 14734 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437494364560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14740] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14740/stat : 14740 (java) S 14734 14734 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437493312016 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14741] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14741/stat : 14741 (java) S 14734 14734 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437492259472 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14742] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14742/stat : 14742 (java) S 14734 14734 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437491206928 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14743] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14743/stat : 14743 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437490154384 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14744] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14744/stat : 14744 (java) S 14734 14734 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437489101840 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14745] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14745/stat : 14745 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321708 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437488049296 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14746] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14746/stat : 14746 (java) S 14734 14734 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4321710 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437358802928 140437896526466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14747] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14747/stat : 14747 (java) S 14734 14734 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4321711 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437357749152 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14748] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14748/stat : 14748 (java) S 14734 14734 16913 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4321711 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437356696560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14749] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14749/stat : 14749 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437355645136 140437896533915 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14750] ppid=14734 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14750/stat : 14750 (java) R 14734 14734 16913 0 -1 4202560 2433 0 0 0 87 0 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437354585240 140437874110065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14751] ppid=14734 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14751/stat : 14751 (java) R 14734 14734 16913 0 -1 4202560 2391 0 0 0 82 0 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437353526752 140437878059478 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14752] ppid=14734 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14752/stat : 14752 (java) R 14734 14734 16913 0 -1 4202560 1570 0 0 0 82 0 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437352468096 140437881425352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14753] ppid=14734 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14753/stat : 14753 (java) S 14734 14734 16913 0 -1 1077944384 2954 0 0 0 72 1 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437351435120 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14754] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14754/stat : 14754 (java) S 14734 14734 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437350381792 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14755] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14755/stat : 14755 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437349329328 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14756] ppid=14734 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14756/stat : 14756 (java) R 14734 14734 16913 0 -1 4202560 57 0 0 0 35 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437341316152 140437528649677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14757] ppid=14734 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14757/stat : 14757 (java) R 14734 14734 16913 0 -1 4202560 46 0 0 0 29 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437340262128 140437534949899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14758] ppid=14734 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14758/stat : 14758 (java) R 14734 14734 16913 0 -1 4202560 49 0 0 0 33 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437339210216 140437528649446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14759] ppid=14734 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14759/stat : 14759 (java) R 14734 14734 16913 0 -1 4202560 63 0 0 0 24 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437338159656 140437528649460 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14760] ppid=14734 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14760/stat : 14760 (java) R 14734 14734 16913 0 -1 4202560 32 0 0 0 38 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437337104440 140437535207814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14761] ppid=14734 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14761/stat : 14761 (java) R 14734 14734 16913 0 -1 4202560 35 0 0 0 37 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437336054632 140437528649446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14762] ppid=14734 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14762/stat : 14762 (java) R 14734 14734 16913 0 -1 4202560 39 0 0 0 27 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437335000696 140437534950920 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14763] ppid=14734 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14763/stat : 14763 (java) R 14734 14734 16913 0 -1 4202560 40 0 0 0 40 0 0 0 20 0 28 0 4321808 14133010432 44932 33554432000 4194304 4196468 140723566682016 140437333948280 140437535111889 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 13811280
[startup+3.10156 s]
/proc/loadavg: 16.38 13.47 11.01 20/304 14763
/proc/meminfo: memFree=31248864/32770624 swapFree=5900/262832
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
[pid=14735] ppid=14734 vsize=13803708 CPUtime=19.55 cores=0,2,4,6,8,10,12,14
/proc/14735/stat : 14735 (java) S 14734 14734 16913 0 -1 1077944320 33490 0 0 0 1939 16 0 0 20 0 28 0 4321707 14134996992 58641 33554432000 4194304 4196468 140723566682016 140723566664560 140437896515319 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
/proc/14735/statm: 3450927 58641 3266 1 0 3438160 0
[pid=14735/tid=14736] ppid=14734 vsize=13803708 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14736/stat : 14736 (java) S 14734 14734 16913 0 -1 1077944384 6948 0 0 0 94 4 0 0 20 0 28 0 4321707 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437900756096 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14738] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14738/stat : 14738 (java) S 14734 14734 16913 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437849135376 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14739] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14739/stat : 14739 (java) S 14734 14734 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437494364560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14740] ppid=14734 vsize=13803708 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14740/stat : 14740 (java) S 14734 14734 16913 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437493312016 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14741] ppid=14734 vsize=13803708 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14741/stat : 14741 (java) S 14734 14734 16913 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437492259472 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14742] ppid=14734 vsize=13803708 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14742/stat : 14742 (java) S 14734 14734 16913 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437491206928 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14743] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14743/stat : 14743 (java) S 14734 14734 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437490154384 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14744] ppid=14734 vsize=13803708 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14744/stat : 14744 (java) S 14734 14734 16913 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437489101840 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14745] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14745/stat : 14745 (java) S 14734 14734 16913 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4321708 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437488049296 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14746] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14746/stat : 14746 (java) S 14734 14734 16913 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 4321710 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437358802928 140437896526466 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14747] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14747/stat : 14747 (java) S 14734 14734 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4321711 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437357749152 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14748] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14748/stat : 14748 (java) S 14734 14734 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4321711 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437356696560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14749] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14749/stat : 14749 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437355645136 140437896533915 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14750] ppid=14734 vsize=13803708 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14750/stat : 14750 (java) R 14734 14734 16913 0 -1 4202560 5602 0 0 0 202 1 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437354578848 140437878059915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14751] ppid=14734 vsize=13803708 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14751/stat : 14751 (java) R 14734 14734 16913 0 -1 4202560 5549 0 0 0 185 1 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437353526088 140437876208415 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14752] ppid=14734 vsize=13803708 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14752/stat : 14752 (java) R 14734 14734 16913 0 -1 4202560 7452 0 0 0 207 2 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437352473640 140437878059526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14753] ppid=14734 vsize=13803708 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14753/stat : 14753 (java) S 14734 14734 16913 0 -1 1077944384 4544 0 0 0 88 1 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437351435120 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14754] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14754/stat : 14754 (java) S 14734 14734 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437350381792 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14755] ppid=14734 vsize=13803708 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14755/stat : 14755 (java) S 14734 14734 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4321715 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437349329328 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14756] ppid=14734 vsize=13803708 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14756/stat : 14756 (java) R 14734 14734 16913 0 -1 4202560 120 0 0 0 137 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437341315656 140437536563399 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14757] ppid=14734 vsize=13803708 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14757/stat : 14757 (java) R 14734 14734 16913 0 -1 4202560 141 0 0 0 129 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437340262504 140437535853255 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14758] ppid=14734 vsize=13803708 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14758/stat : 14758 (java) R 14734 14734 16913 0 -1 4202560 233 0 0 0 128 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437339209128 140437535111982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14759] ppid=14734 vsize=13803708 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14759/stat : 14759 (java) R 14734 14734 16913 0 -1 4202560 202 0 0 0 134 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437338158088 140437535833792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14760] ppid=14734 vsize=13803708 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14760/stat : 14760 (java) R 14734 14734 16913 0 -1 4202560 204 0 0 0 177 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437337104896 140437535854090 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14761] ppid=14734 vsize=13803708 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14761/stat : 14761 (java) R 14734 14734 16913 0 -1 4202560 126 0 0 0 138 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437336052456 140437534548763 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14762] ppid=14734 vsize=13803708 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14762/stat : 14762 (java) R 14734 14734 16913 0 -1 4202560 122 0 0 0 143 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437334998104 140437534549109 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14763] ppid=14734 vsize=13803708 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14763/stat : 14763 (java) R 14734 14734 16913 0 -1 4202560 183 0 0 0 165 0 0 0 20 0 28 0 4321808 14134996992 58641 33554432000 4194304 4196468 140723566682016 140437333946440 140437534548986 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
Current children cumulated CPU time (s) 19.55
Current children cumulated vsize (KiB) 13813220
[startup+6.30154 s]
/proc/loadavg: 16.38 13.47 11.01 19/304 14763
/proc/meminfo: memFree=31205528/32770624 swapFree=5900/262844
################
# More data... #
################
[pid=14735/tid=14762] ppid=14734 vsize=13801768 CPUtime=217.58 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14762/stat : 14762 (java) R 14734 14734 16913 0 -1 4202560 947 0 0 0 21757 1 0 0 20 0 28 0 4321808 14133010432 78551 33554432000 4194304 4196468 140723566682016 140437334998616 140437534949932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14763] ppid=14734 vsize=13801768 CPUtime=217.91 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14763/stat : 14763 (java) R 14734 14734 16913 0 -1 4202560 1232 0 0 0 21791 0 0 0 20 0 28 0 4321808 14133010432 78551 33554432000 4194304 4196468 140723566682016 140437333946200 140437535833876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
Current children cumulated CPU time (s) 1756.23
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.20 15.07 12.33 17/305 14876
/proc/meminfo: memFree=29438124/32770624 swapFree=5900/263196
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
[pid=14735] ppid=14734 vsize=13801768 CPUtime=2229.71 cores=0,2,4,6,8,10,12,14
/proc/14735/stat : 14735 (java) S 14734 14734 16913 0 -1 1077944320 81467 0 0 0 222762 209 0 0 20 0 28 0 4321707 14133010432 97573 33554432000 4194304 4196468 140723566682016 140723566664560 140437896515319 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
/proc/14735/statm: 3450442 97573 3278 1 0 3437675 0
[pid=14735/tid=14736] ppid=14734 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14736/stat : 14736 (java) S 14734 14734 16913 0 -1 1077944384 6948 0 0 0 94 4 0 0 20 0 28 0 4321707 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437900756096 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14738] ppid=14734 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14738/stat : 14738 (java) S 14734 14734 16913 0 -1 1077944384 2066 0 0 0 69 14 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437849135376 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14739] ppid=14734 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14739/stat : 14739 (java) S 14734 14734 16913 0 -1 1077944384 3156 0 0 0 71 13 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437494364560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14740] ppid=14734 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14740/stat : 14740 (java) S 14734 14734 16913 0 -1 1077944384 1832 0 0 0 72 12 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437493312016 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14741] ppid=14734 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14741/stat : 14741 (java) S 14734 14734 16913 0 -1 1077944384 1341 0 0 0 70 14 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437492259472 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14742] ppid=14734 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14742/stat : 14742 (java) S 14734 14734 16913 0 -1 1077944384 1100 0 0 0 73 13 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437491206928 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14743] ppid=14734 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14743/stat : 14743 (java) S 14734 14734 16913 0 -1 1077944384 3969 0 0 0 72 13 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437490154384 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14744] ppid=14734 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14744/stat : 14744 (java) S 14734 14734 16913 0 -1 1077944384 1818 0 0 0 72 14 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437489101840 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14745] ppid=14734 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14745/stat : 14745 (java) S 14734 14734 16913 0 -1 1077944384 1731 0 0 0 69 13 0 0 20 0 28 0 4321708 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437488049296 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14746] ppid=14734 vsize=13801768 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14746/stat : 14746 (java) S 14734 14734 16913 0 -1 1077944384 2560 0 0 0 74 72 0 0 20 0 28 0 4321710 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437358802928 140437896526466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14747] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14747/stat : 14747 (java) S 14734 14734 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4321711 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437357749152 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14748] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14748/stat : 14748 (java) S 14734 14734 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4321711 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437356696560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14749] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14749/stat : 14749 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437355645136 140437896533915 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14750] ppid=14734 vsize=13801768 CPUtime=3.48 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14750/stat : 14750 (java) S 14734 14734 16913 0 -1 1077944384 10436 0 0 0 347 1 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437354592752 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14751] ppid=14734 vsize=13801768 CPUtime=2.91 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14751/stat : 14751 (java) S 14734 14734 16913 0 -1 1077944384 9708 0 0 0 289 2 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437353540208 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14752] ppid=14734 vsize=13801768 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14752/stat : 14752 (java) S 14734 14734 16913 0 -1 1077944384 13590 0 0 0 316 2 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437352487664 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14753] ppid=14734 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14753/stat : 14753 (java) S 14734 14734 16913 0 -1 1077944384 7532 0 0 0 99 1 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437351435120 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14754] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14754/stat : 14754 (java) S 14734 14734 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437350381792 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14755] ppid=14734 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14755/stat : 14755 (java) S 14734 14734 16913 0 -1 1077944384 900 0 0 0 7 4 0 0 20 0 28 0 4321715 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437349329328 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14756] ppid=14734 vsize=13801768 CPUtime=275.94 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14756/stat : 14756 (java) R 14734 14734 16913 0 -1 4202560 985 0 0 0 27593 1 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437341314104 140437536566081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14757] ppid=14734 vsize=13801768 CPUtime=275.7 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14757/stat : 14757 (java) R 14734 14734 16913 0 -1 4202560 975 0 0 0 27569 1 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437340262112 140437538222171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14758] ppid=14734 vsize=13801768 CPUtime=275.85 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14758/stat : 14758 (java) R 14734 14734 16913 0 -1 4202560 2208 0 0 0 27583 2 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437339209928 140437535851372 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14759] ppid=14734 vsize=13801768 CPUtime=276.11 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14759/stat : 14759 (java) R 14734 14734 16913 0 -1 4202560 1798 0 0 0 27610 1 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437338157416 140437535111043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14760] ppid=14734 vsize=13801768 CPUtime=276.53 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14760/stat : 14760 (java) R 14734 14734 16913 0 -1 4202560 2209 0 0 0 27652 1 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437337104728 140437534951039 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14761] ppid=14734 vsize=13801768 CPUtime=276.18 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14761/stat : 14761 (java) R 14734 14734 16913 0 -1 4202560 561 0 0 0 27617 1 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437336052680 140437534549099 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14762] ppid=14734 vsize=13801768 CPUtime=276.39 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14762/stat : 14762 (java) R 14734 14734 16913 0 -1 4202560 1344 0 0 0 27638 1 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437334998712 140437534950317 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14763] ppid=14734 vsize=13801768 CPUtime=276.9 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14763/stat : 14763 (java) R 14734 14734 16913 0 -1 4202560 1356 0 0 0 27690 0 0 0 20 0 28 0 4321808 14133010432 97573 33554432000 4194304 4196468 140723566682016 140437333948704 140437538274494 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
Current children cumulated CPU time (s) 2229.71
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.802 s]
/proc/loadavg: 16.13 15.15 12.43 11/304 14876
/proc/meminfo: memFree=29438440/32770624 swapFree=5900/263220
[pid=14734] ppid=14731 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14734/stat : 14734 (xcsp3-exec) S 14731 14734 16913 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4321706 9740288 346 33554432000 4194304 5098028 140731808705120 140731808703224 139746925298300 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 20324352 140731808707726 140731808707936 140731808707936 140731808710635 0
/proc/14734/statm: 2378 346 289 221 0 87 0
[pid=14735] ppid=14734 vsize=13801768 CPUtime=2400.35 cores=0,2,4,6,8,10,12,14
/proc/14735/stat : 14735 (java) S 14734 14734 16913 0 -1 1077944320 81758 0 0 0 239818 217 0 0 20 0 28 0 4321707 14133010432 97835 33554432000 4194304 4196468 140723566682016 140723566664560 140437896515319 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
/proc/14735/statm: 3450442 97835 3278 1 0 3437675 0
[pid=14735/tid=14736] ppid=14734 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14736/stat : 14736 (java) S 14734 14734 16913 0 -1 1077944384 6948 0 0 0 94 4 0 0 20 0 28 0 4321707 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437900756096 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14738] ppid=14734 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14738/stat : 14738 (java) S 14734 14734 16913 0 -1 1077944384 2077 0 0 0 73 15 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437849135376 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14739] ppid=14734 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14739/stat : 14739 (java) S 14734 14734 16913 0 -1 1077944384 3169 0 0 0 75 13 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437494364560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14740] ppid=14734 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14740/stat : 14740 (java) S 14734 14734 16913 0 -1 1077944384 1853 0 0 0 76 13 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437493312016 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14741] ppid=14734 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14741/stat : 14741 (java) S 14734 14734 16913 0 -1 1077944384 1367 0 0 0 74 15 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437492259472 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14742] ppid=14734 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14742/stat : 14742 (java) S 14734 14734 16913 0 -1 1077944384 1115 0 0 0 77 14 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437491206928 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14743] ppid=14734 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14743/stat : 14743 (java) S 14734 14734 16913 0 -1 1077944384 3995 0 0 0 76 14 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437490154384 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14744] ppid=14734 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14744/stat : 14744 (java) S 14734 14734 16913 0 -1 1077944384 1848 0 0 0 75 15 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437489101840 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14745] ppid=14734 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14745/stat : 14745 (java) S 14734 14734 16913 0 -1 1077944384 1744 0 0 0 73 14 0 0 20 0 28 0 4321708 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437488049296 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14746] ppid=14734 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14746/stat : 14746 (java) S 14734 14734 16913 0 -1 1077944384 2562 0 0 0 78 76 0 0 20 0 28 0 4321710 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437358802928 140437896526466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14747] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14747/stat : 14747 (java) S 14734 14734 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4321711 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437357749152 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14748] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14748/stat : 14748 (java) S 14734 14734 16913 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4321711 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437356696560 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14749] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14749/stat : 14749 (java) S 14734 14734 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437355645136 140437896533915 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14750] ppid=14734 vsize=13801768 CPUtime=3.48 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14750/stat : 14750 (java) S 14734 14734 16913 0 -1 1077944384 10436 0 0 0 347 1 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437354592752 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14751] ppid=14734 vsize=13801768 CPUtime=2.91 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14751/stat : 14751 (java) S 14734 14734 16913 0 -1 1077944384 9708 0 0 0 289 2 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437353540208 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14752] ppid=14734 vsize=13801768 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14752/stat : 14752 (java) S 14734 14734 16913 0 -1 1077944384 13590 0 0 0 316 2 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437352487664 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14753] ppid=14734 vsize=13801768 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14753/stat : 14753 (java) S 14734 14734 16913 0 -1 1077944384 7532 0 0 0 99 1 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437351435120 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14754] ppid=14734 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14754/stat : 14754 (java) S 14734 14734 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437350381792 140437896525525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14755] ppid=14734 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14755/stat : 14755 (java) S 14734 14734 16913 0 -1 1077944384 902 0 0 0 7 5 0 0 20 0 28 0 4321715 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437349329328 140437896526466 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 6 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14756] ppid=14734 vsize=13801768 CPUtime=297.17 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14756/stat : 14756 (java) R 14734 14734 16913 0 -1 4202560 1001 0 0 0 29716 1 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437341313880 140437534549065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14757] ppid=14734 vsize=13801768 CPUtime=296.98 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14757/stat : 14757 (java) R 14734 14734 16913 0 -1 4202560 987 0 0 0 29697 1 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437340262488 140437534950218 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14758] ppid=14734 vsize=13801768 CPUtime=297.24 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14758/stat : 14758 (java) R 14734 14734 16913 0 -1 4202560 2232 0 0 0 29722 2 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437339210040 140437538274674 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14759] ppid=14734 vsize=13801768 CPUtime=297.41 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14759/stat : 14759 (java) R 14734 14734 16913 0 -1 4202560 1828 0 0 0 29740 1 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437338156992 140437534549099 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14760] ppid=14734 vsize=13801768 CPUtime=297.7 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14760/stat : 14760 (java) R 14734 14734 16913 0 -1 4202560 2213 0 0 0 29769 1 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437337105464 140437535111654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14761] ppid=14734 vsize=13801768 CPUtime=297.51 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14761/stat : 14761 (java) R 14734 14734 16913 0 -1 4202560 569 0 0 0 29750 1 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437336052312 140437535111842 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14762] ppid=14734 vsize=13801768 CPUtime=297.55 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14762/stat : 14762 (java) R 14734 14734 16913 0 -1 4202560 1366 0 0 0 29754 1 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437335001568 140437537404999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
[pid=14735/tid=14763] ppid=14734 vsize=13801768 CPUtime=298.23 cores=0,2,4,6,8,10,12,14
/proc/14735/task/14763/stat : 14763 (java) R 14734 14734 16913 0 -1 4202560 1372 0 0 0 29823 0 0 0 20 0 28 0 4321808 14133010432 97835 33554432000 4194304 4196468 140723566682016 140437333946296 140437534738771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6807552 140723566683324 140723566683500 140723566683500 140723566686159 0
Current children cumulated CPU time (s) 2400.35
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 14735 sig 9
??? kill 14734 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 14734 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1877
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=938
# CPU time returned by wait4() is 0.002815
# while last known CPU time is 2400.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.812
CPU time (s): 2400.35
CPU user time (s): 2398.18
CPU system time (s): 2.17
CPU usage (%): 790.076
Max. virtual memory (cumulated for all children) (KiB): 13813220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001877
system time used= 0.000938
maximum resident set size= 1388
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.04346 second user time and 4.04448 second system time
The end