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-4245429-1500685747/watcher-4245429-1500685747 -o /tmp/evaluation-result-4245429-1500685747/solver-4245429-1500685747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1893306031 HOME/instance-4245429-1500685747.xml
pid=1581
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: 14.32 14.86 14.79 10/275 1584
/proc/meminfo: memFree=29465360/32770624 swapFree=5900/226620
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
[startup+0.100096 s]
/proc/loadavg: 14.32 14.86 14.79 10/275 1584
/proc/meminfo: memFree=29465360/32770624 swapFree=5900/226620
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200285 s]
/proc/loadavg: 14.32 14.86 14.79 10/275 1584
/proc/meminfo: memFree=29465360/32770624 swapFree=5900/226620
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300283 s]
/proc/loadavg: 14.32 14.86 14.79 10/275 1584
/proc/meminfo: memFree=29465360/32770624 swapFree=5900/226620
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700207 s]
/proc/loadavg: 14.32 14.86 14.79 10/275 1584
/proc/meminfo: memFree=29465360/32770624 swapFree=5900/226620
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50124 s]
/proc/loadavg: 14.32 14.86 14.79 10/296 1605
/proc/meminfo: memFree=29255848/32770624 swapFree=5900/226692
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
[pid=1585] ppid=1584 vsize=13801768 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/1585/stat : 1585 (java) S 1584 1584 16913 0 -1 1077944320 16932 0 0 0 594 22 0 0 20 0 28 0 3841611 14133010432 58498 33554432000 4194304 4196468 140732857137280 140732857119824 139975142145783 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
/proc/1585/statm: 3450442 58498 3228 1 0 3437675 0
[pid=1585/tid=1586] ppid=1584 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1586/stat : 1586 (java) S 1584 1584 16913 0 -1 1077944384 6774 0 0 0 109 4 0 0 20 0 28 0 3841611 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975146386560 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1588] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1588/stat : 1588 (java) S 1584 1584 16913 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975074282512 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1589] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1589/stat : 1589 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975073229968 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1590] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1590/stat : 1590 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975072176912 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1591] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1591/stat : 1591 (java) S 1584 1584 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975071124368 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1592] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1592/stat : 1592 (java) S 1584 1584 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975070071312 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1593] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1593/stat : 1593 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975069018768 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1594] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1594/stat : 1594 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975067965712 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1595] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1595/stat : 1595 (java) S 1584 1584 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 58498 33554432000 4194304 4196468 140732857137280 139975066913168 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1596] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1596/stat : 1596 (java) S 1584 1584 16913 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 3841614 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973874133744 139975142156930 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1597] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1597/stat : 1597 (java) S 1584 1584 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973873080032 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1598] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1598/stat : 1598 (java) S 1584 1584 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973872026880 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1599] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1599/stat : 1599 (java) S 1584 1584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973870975440 139975142164379 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1600] ppid=1584 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1600/stat : 1600 (java) R 1584 1584 16913 0 -1 4202560 2416 0 0 0 91 1 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973869910944 139975121392375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1601] ppid=1584 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1601/stat : 1601 (java) R 1584 1584 16913 0 -1 4202560 1791 0 0 0 82 0 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973868862488 140732857313494 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1602] ppid=1584 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1602/stat : 1602 (java) R 1584 1584 16913 0 -1 4202560 1547 0 0 0 77 0 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973867801080 139975125631805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1603] ppid=1584 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1603/stat : 1603 (java) S 1584 1584 16913 0 -1 1077944384 2546 0 0 0 71 1 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973866764400 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1604] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1604/stat : 1604 (java) S 1584 1584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973865712608 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1605] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1605/stat : 1605 (java) S 1584 1584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 58498 33554432000 4194304 4196468 140732857137280 139973864660144 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 13811280
[startup+3.10166 s]
/proc/loadavg: 14.70 14.93 14.81 20/304 1613
/proc/meminfo: memFree=29228104/32770624 swapFree=5900/226692
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
[pid=1585] ppid=1584 vsize=13801768 CPUtime=18.85 cores=1,3,5,7,9,11,13,15
/proc/1585/stat : 1585 (java) S 1584 1584 16913 0 -1 1077944320 20504 0 0 0 1861 24 0 0 20 0 28 0 3841611 14133010432 64642 33554432000 4194304 4196468 140732857137280 140732857119824 139975142145783 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
/proc/1585/statm: 3450442 64642 3247 1 0 3437675 0
[pid=1585/tid=1586] ppid=1584 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1586/stat : 1586 (java) S 1584 1584 16913 0 -1 1077944384 6774 0 0 0 109 4 0 0 20 0 28 0 3841611 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975146386560 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1588] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1588/stat : 1588 (java) S 1584 1584 16913 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975074282512 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1589] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1589/stat : 1589 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975073229968 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1590] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1590/stat : 1590 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975072176912 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1591] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1591/stat : 1591 (java) S 1584 1584 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975071124368 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1592] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1592/stat : 1592 (java) S 1584 1584 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975070071312 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1593] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1593/stat : 1593 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975069018768 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1594] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1594/stat : 1594 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975067965712 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1595] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1595/stat : 1595 (java) S 1584 1584 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 64642 33554432000 4194304 4196468 140732857137280 139975066913168 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1596] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1596/stat : 1596 (java) S 1584 1584 16913 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 3841614 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973874133744 139975142156930 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1597] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1597/stat : 1597 (java) S 1584 1584 16913 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973873080032 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1598] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1598/stat : 1598 (java) S 1584 1584 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973872026880 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1599] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1599/stat : 1599 (java) S 1584 1584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973870975440 139975142164379 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1600] ppid=1584 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1600/stat : 1600 (java) S 1584 1584 16913 0 -1 1077944384 3037 0 0 0 168 1 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973869922544 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1601] ppid=1584 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1601/stat : 1601 (java) S 1584 1584 16913 0 -1 1077944384 2317 0 0 0 171 1 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973868870000 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1602] ppid=1584 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1602/stat : 1602 (java) S 1584 1584 16913 0 -1 1077944384 3511 0 0 0 168 1 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973867816944 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1603] ppid=1584 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1603/stat : 1603 (java) S 1584 1584 16913 0 -1 1077944384 2965 0 0 0 87 1 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973866764400 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1604] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1604/stat : 1604 (java) S 1584 1584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973865712608 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1605] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1605/stat : 1605 (java) S 1584 1584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973864660144 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1606] ppid=1584 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1606/stat : 1606 (java) R 1584 1584 16913 0 -1 4202560 62 0 0 0 146 0 0 0 20 0 28 0 3841731 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973118381720 139974751654679 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1607] ppid=1584 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1607/stat : 1607 (java) R 1584 1584 16913 0 -1 4202560 34 0 0 0 141 0 0 0 20 0 28 0 3841731 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973117329136 139974752165887 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1608] ppid=1584 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1608/stat : 1608 (java) R 1584 1584 16913 0 -1 4202560 47 0 0 0 132 0 0 0 20 0 28 0 3841731 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973116276528 139974752362887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1609] ppid=1584 vsize=13801768 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1609/stat : 1609 (java) R 1584 1584 16913 0 -1 4202560 93 0 0 0 147 0 0 0 20 0 28 0 3841731 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973115224712 139974751654533 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1610] ppid=1584 vsize=13801768 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1610/stat : 1610 (java) R 1584 1584 16913 0 -1 4202560 33 0 0 0 154 0 0 0 20 0 28 0 3841731 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973114171240 139974751654589 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1611] ppid=1584 vsize=13801768 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1611/stat : 1611 (java) R 1584 1584 16913 0 -1 4202560 34 0 0 0 150 0 0 0 20 0 28 0 3841731 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973113118728 139974751654589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1612] ppid=1584 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1612/stat : 1612 (java) R 1584 1584 16913 0 -1 4202560 36 0 0 0 123 0 0 0 20 0 28 0 3841732 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973112066824 139974751654872 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1613] ppid=1584 vsize=13801768 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1613/stat : 1613 (java) R 1584 1584 16913 0 -1 4202560 37 0 0 0 148 0 0 0 20 0 28 0 3841732 14133010432 64642 33554432000 4194304 4196468 140732857137280 139973111014648 139974752165720 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 13811280
[startup+6.30166 s]
/proc/loadavg: 14.70 14.93 14.81 10/297 1702
/proc/meminfo: memFree=31650284/32770624 swapFree=5900/227516
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
[pid=1585] ppid=1584 vsize=13801768 CPUtime=44.28 cores=1,3,5,7,9,11,13,15
/proc/1585/stat : 1585 (java) S 1584 1584 16913 0 -1 1077944320 24738 0 0 0 4401 27 0 0 20 0 28 0 3841611 14133010432 86053 33554432000 4194304 4196468 140732857137280 140732857119824 139975142145783 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
/proc/1585/statm: 3450442 86053 3251 1 0 3437675 0
[pid=1585/tid=1586] ppid=1584 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1586/stat : 1586 (java) S 1584 1584 16913 0 -1 1077944384 6774 0 0 0 109 4 0 0 20 0 28 0 3841611 14133010432 86053 33554432000 4194304 4196468 140732857137280 139975146386560 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1588] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1588/stat : 1588 (java) S 1584 1584 16913 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 86053 33554432000 4194304 4196468 140732857137280 139975074282512 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1589] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1589/stat : 1589 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 86053 33554432000 4194304 4196468 140732857137280 139975073229968 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1590] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1590/stat : 1590 (java) S 1584 1584 16913 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 86053 33554432000 4194304 4196468 140732857137280 139975072176912 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1591] ppid=1584 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1591/stat : 1591 (java) S 1584 1584 16913 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 28 0 3841612 14133010432 86053 33554432000 4194304 4196468 140732857137280 139975071124368 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
################
# More data... #
################
[pid=1585/tid=1612] ppid=1584 vsize=13801768 CPUtime=218.71 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1612/stat : 1612 (java) R 1584 1584 16913 0 -1 4202560 891 0 0 0 21868 3 0 0 20 0 28 0 3841732 14133010432 511873 33554432000 4194304 4196468 140732857137280 139973112066360 139974752220356 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1613] ppid=1584 vsize=13801768 CPUtime=219.24 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1613/stat : 1613 (java) R 1584 1584 16913 0 -1 4202560 305 0 0 0 21924 0 0 0 20 0 28 0 3841732 14133010432 511873 33554432000 4194304 4196468 140732857137280 139973111013784 139974752165563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
Current children cumulated CPU time (s) 1763.97
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.07 15.40 15.00 17/305 2493
/proc/meminfo: memFree=28430812/32770624 swapFree=5900/227712
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
[pid=1585] ppid=1584 vsize=13801768 CPUtime=2241.67 cores=1,3,5,7,9,11,13,15
/proc/1585/stat : 1585 (java) S 1584 1584 16913 0 -1 1077944320 53513 0 0 0 224026 141 0 0 20 0 28 0 3841611 14133010432 501678 33554432000 4194304 4196468 140732857137280 140732857119824 139975142145783 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
/proc/1585/statm: 3450442 501678 3262 1 0 3437675 0
[pid=1585/tid=1586] ppid=1584 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1586/stat : 1586 (java) S 1584 1584 16913 0 -1 1077944384 6774 0 0 0 109 4 0 0 20 0 28 0 3841611 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975146386560 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1588] ppid=1584 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1588/stat : 1588 (java) S 1584 1584 16913 0 -1 1077944384 224 0 0 0 10 9 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975074282512 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1589] ppid=1584 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1589/stat : 1589 (java) S 1584 1584 16913 0 -1 1077944384 1516 0 0 0 11 9 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975073229968 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1590] ppid=1584 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1590/stat : 1590 (java) S 1584 1584 16913 0 -1 1077944384 465 0 0 0 12 10 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975072176912 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1591] ppid=1584 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1591/stat : 1591 (java) S 1584 1584 16913 0 -1 1077944384 1108 0 0 0 12 8 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975071124368 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1592] ppid=1584 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1592/stat : 1592 (java) S 1584 1584 16913 0 -1 1077944384 661 0 0 0 12 10 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975070071312 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1593] ppid=1584 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1593/stat : 1593 (java) S 1584 1584 16913 0 -1 1077944384 1228 0 0 0 12 9 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975069018768 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1594] ppid=1584 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1594/stat : 1594 (java) S 1584 1584 16913 0 -1 1077944384 441 0 0 0 11 10 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975067965712 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1595] ppid=1584 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1595/stat : 1595 (java) S 1584 1584 16913 0 -1 1077944384 387 0 0 0 11 10 0 0 20 0 28 0 3841612 14133010432 501678 33554432000 4194304 4196468 140732857137280 139975066913168 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1596] ppid=1584 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1596/stat : 1596 (java) S 1584 1584 16913 0 -1 1077944384 2640 0 0 0 4 5 0 0 20 0 28 0 3841614 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973874133744 139975142156930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1597] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1597/stat : 1597 (java) S 1584 1584 16913 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973873080032 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1598] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1598/stat : 1598 (java) S 1584 1584 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973872026880 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1599] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1599/stat : 1599 (java) S 1584 1584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973870975440 139975142164379 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1600] ppid=1584 vsize=13801768 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1600/stat : 1600 (java) S 1584 1584 16913 0 -1 1077944384 5992 0 0 0 185 1 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973869922544 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1601] ppid=1584 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1601/stat : 1601 (java) S 1584 1584 16913 0 -1 1077944384 4017 0 0 0 191 1 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973868870000 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1602] ppid=1584 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1602/stat : 1602 (java) S 1584 1584 16913 0 -1 1077944384 9219 0 0 0 201 1 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973867816944 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1603] ppid=1584 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1603/stat : 1603 (java) S 1584 1584 16913 0 -1 1077944384 4193 0 0 0 91 2 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973866764400 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1604] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1604/stat : 1604 (java) S 1584 1584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973865712608 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1605] ppid=1584 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1605/stat : 1605 (java) S 1584 1584 16913 0 -1 1077944384 811 0 0 0 6 6 0 0 20 0 28 0 3841619 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973864660144 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1606] ppid=1584 vsize=13801768 CPUtime=279.59 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1606/stat : 1606 (java) R 1584 1584 16913 0 -1 4202560 1233 0 0 0 27956 3 0 0 20 0 28 0 3841731 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973118381016 139974752220509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1607] ppid=1584 vsize=13801768 CPUtime=278.57 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1607/stat : 1607 (java) R 1584 1584 16913 0 -1 4202560 903 0 0 0 27854 3 0 0 20 0 28 0 3841731 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973117329344 139974752222273 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1608] ppid=1584 vsize=13801768 CPUtime=278.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1608/stat : 1608 (java) R 1584 1584 16913 0 -1 4202560 2797 0 0 0 27805 8 0 0 20 0 28 0 3841731 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973116279408 139974751654665 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1609] ppid=1584 vsize=13801768 CPUtime=279.86 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1609/stat : 1609 (java) R 1584 1584 16913 0 -1 4202560 2404 0 0 0 27981 5 0 0 20 0 28 0 3841731 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973115224120 139974751654813 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1610] ppid=1584 vsize=13801768 CPUtime=279.55 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1610/stat : 1610 (java) R 1584 1584 16913 0 -1 4202560 1935 0 0 0 27948 7 0 0 20 0 28 0 3841731 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973114170816 139974751654813 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1611] ppid=1584 vsize=13801768 CPUtime=278.42 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1611/stat : 1611 (java) R 1584 1584 16913 0 -1 4202560 1619 0 0 0 27835 7 0 0 20 0 28 0 3841731 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973113118680 139974751654133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1612] ppid=1584 vsize=13801768 CPUtime=278.43 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1612/stat : 1612 (java) R 1584 1584 16913 0 -1 4202560 1279 0 0 0 27840 3 0 0 20 0 28 0 3841732 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973112066360 139974751654589 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1613] ppid=1584 vsize=13801768 CPUtime=279.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1613/stat : 1613 (java) R 1584 1584 16913 0 -1 4202560 334 0 0 0 27913 0 0 0 20 0 28 0 3841732 14133010432 501678 33554432000 4194304 4196468 140732857137280 139973111013816 139974752165536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
Current children cumulated CPU time (s) 2241.67
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.202 s]
/proc/loadavg: 16.05 15.44 15.02 17/305 2494
/proc/meminfo: memFree=28450600/32770624 swapFree=5900/227748
[pid=1584] ppid=1581 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1584/stat : 1584 (xcsp3-exec) S 1581 1584 16913 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3841611 9740288 346 33554432000 4194304 5098028 140735379040208 140735379038312 140555875422844 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 33243136 140735379047566 140735379047776 140735379047776 140735379050475 0
/proc/1584/statm: 2378 346 289 221 0 87 0
[pid=1585] ppid=1584 vsize=13801768 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/1585/stat : 1585 (java) S 1584 1584 16913 0 -1 1077944320 55301 0 0 0 239864 143 0 0 20 0 28 0 3841611 14133010432 494146 33554432000 4194304 4196468 140732857137280 140732857119824 139975142145783 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
/proc/1585/statm: 3450442 494146 3262 1 0 3437675 0
[pid=1585/tid=1586] ppid=1584 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1586/stat : 1586 (java) S 1584 1584 16913 0 -1 1077944384 6774 0 0 0 109 4 0 0 20 0 28 0 3841611 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975146386560 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1588] ppid=1584 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1588/stat : 1588 (java) S 1584 1584 16913 0 -1 1077944384 242 0 0 0 11 9 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975074282512 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1589] ppid=1584 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1589/stat : 1589 (java) S 1584 1584 16913 0 -1 1077944384 1573 0 0 0 12 10 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975073229968 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1590] ppid=1584 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1590/stat : 1590 (java) S 1584 1584 16913 0 -1 1077944384 489 0 0 0 12 11 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975072176912 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1591] ppid=1584 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1591/stat : 1591 (java) S 1584 1584 16913 0 -1 1077944384 1145 0 0 0 13 8 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975071124368 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1592] ppid=1584 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1592/stat : 1592 (java) S 1584 1584 16913 0 -1 1077944384 673 0 0 0 13 10 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975070071312 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1593] ppid=1584 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1593/stat : 1593 (java) S 1584 1584 16913 0 -1 1077944384 1643 0 0 0 13 10 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975069018768 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1594] ppid=1584 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1594/stat : 1594 (java) S 1584 1584 16913 0 -1 1077944384 452 0 0 0 12 10 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975067965712 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1595] ppid=1584 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1595/stat : 1595 (java) S 1584 1584 16913 0 -1 1077944384 406 0 0 0 12 10 0 0 20 0 28 0 3841612 14133010432 494146 33554432000 4194304 4196468 140732857137280 139975066913168 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1596] ppid=1584 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1596/stat : 1596 (java) S 1584 1584 16913 0 -1 1077944384 2904 0 0 0 4 5 0 0 20 0 28 0 3841614 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973874133744 139975142156930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1597] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1597/stat : 1597 (java) S 1584 1584 16913 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973873080032 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1598] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1598/stat : 1598 (java) S 1584 1584 16913 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3841615 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973872026880 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1599] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1599/stat : 1599 (java) S 1584 1584 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973870975440 139975142164379 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1600] ppid=1584 vsize=13801768 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1600/stat : 1600 (java) S 1584 1584 16913 0 -1 1077944384 5998 0 0 0 185 1 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973869922544 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1601] ppid=1584 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1601/stat : 1601 (java) S 1584 1584 16913 0 -1 1077944384 4021 0 0 0 191 1 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973868870000 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1602] ppid=1584 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1602/stat : 1602 (java) S 1584 1584 16913 0 -1 1077944384 9223 0 0 0 201 1 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973867816944 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1603] ppid=1584 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1603/stat : 1603 (java) S 1584 1584 16913 0 -1 1077944384 4197 0 0 0 91 2 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973866764400 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1604] ppid=1584 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1604/stat : 1604 (java) S 1584 1584 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973865712608 139975142155989 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1605] ppid=1584 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1605/stat : 1605 (java) S 1584 1584 16913 0 -1 1077944384 835 0 0 0 7 6 0 0 20 0 28 0 3841619 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973864660144 139975142156930 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 10 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1606] ppid=1584 vsize=13801768 CPUtime=299.43 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1606/stat : 1606 (java) R 1584 1584 16913 0 -1 4202560 1370 0 0 0 29940 3 0 0 20 0 28 0 3841731 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973118381128 139974752118930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1607] ppid=1584 vsize=13801768 CPUtime=298.44 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1607/stat : 1607 (java) R 1584 1584 16913 0 -1 4202560 966 0 0 0 29841 3 0 0 20 0 28 0 3841731 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973117329704 139974752119066 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1608] ppid=1584 vsize=13801768 CPUtime=297.58 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1608/stat : 1608 (java) R 1584 1584 16913 0 -1 4202560 3042 0 0 0 29750 8 0 0 20 0 28 0 3841731 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973116276504 139974751654474 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1609] ppid=1584 vsize=13801768 CPUtime=299.71 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1609/stat : 1609 (java) R 1584 1584 16913 0 -1 4202560 2559 0 0 0 29966 5 0 0 20 0 28 0 3841731 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973115223712 139974753038826 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1610] ppid=1584 vsize=13801768 CPUtime=299.41 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1610/stat : 1610 (java) R 1584 1584 16913 0 -1 4202560 2007 0 0 0 29934 7 0 0 20 0 28 0 3841731 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973114173808 139974752165827 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1611] ppid=1584 vsize=13801768 CPUtime=298.28 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1611/stat : 1611 (java) R 1584 1584 16913 0 -1 4202560 1751 0 0 0 29821 7 0 0 20 0 28 0 3841731 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973113118392 139974752260015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1612] ppid=1584 vsize=13801768 CPUtime=298.15 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1612/stat : 1612 (java) R 1584 1584 16913 0 -1 4202560 1331 0 0 0 29812 3 0 0 20 0 28 0 3841732 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973112066360 139974752220210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
[pid=1585/tid=1613] ppid=1584 vsize=13801768 CPUtime=298.98 cores=1,3,5,7,9,11,13,15
/proc/1585/task/1613/stat : 1613 (java) R 1584 1584 16913 0 -1 4202560 367 0 0 0 29898 0 0 0 20 0 28 0 3841732 14133010432 494146 33554432000 4194304 4196468 140732857137280 139973111013928 139974753806168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27058176 140732857140412 140732857140588 140732857140588 140732857143247 0
Current children cumulated CPU time (s) 2400.07
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 1585 sig 9
??? kill 1584 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 1584 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1823
# CPU time returned by wait4() is 0.002734
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.07
CPU user time (s): 2398.64
CPU system time (s): 1.43
CPU usage (%): 794.166
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000911
system time used= 0.001823
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.74407 second user time and 3.93133 second system time
The end